OHCI1394_GUIDHi
guid = ((u64) reg_read(ohci, OHCI1394_GUIDHi) << 32) |
!reg_read(ohci, OHCI1394_GUIDHi)) {
reg_write(ohci, OHCI1394_GUIDHi, (u32)(ohci->card.guid >> 32));