c
assert(is_valid_register_address(ohci, OHCI1394_IntEventClear));
reg_write(ohci, OHCI1394_IntEventClear, OHCI1394_busReset);
