rmb(); frame_number = (uhci->is_stopped ? uhci->frame_number : 
is_stopped = uhci->is_stopped; smp_rmb(); frame_number = (is_stopped ? uhci->frame_number : 
static int uhci_hcd_get_frame_number(struct usb_hcd *hcd){	struct uhci_hcd *uhci = hcd_to_uhci(hcd);	int frame_number;	unsigned long flags;	/* Minimize latency by avoiding the spinlock */	local_irq_save(flags);	rmb();	frame_number = (uhci->is_stopped ? uhci->frame_number :			inw(uhci->io_addr + USBFRNUM));	local_irq_restore(flags);	return frame_number;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c8f4fe4358c5e0a79b4bd47b814d19f1d1d06f21/uhci-hcd.c/clean/drivers/usb/host/uhci-hcd.c