c
constant_time_reg_write(ohci, OHCI1394_IntEventClear, OHCI1394_busReset);
