OHCI1394_GUIDHi  3691 drivers/firewire/ohci.c 	guid = ((u64) reg_read(ohci, OHCI1394_GUIDHi) << 32) |
OHCI1394_GUIDHi  3832 drivers/firewire/ohci.c 					!reg_read(ohci, OHCI1394_GUIDHi)) {
OHCI1394_GUIDHi  3834 drivers/firewire/ohci.c 		reg_write(ohci, OHCI1394_GUIDHi, (u32)(ohci->card.guid >> 32));