read_roothub 719 drivers/usb/host/ohci.h { return read_roothub (hc, a, 0xfc0fe000); } read_roothub 725 drivers/usb/host/ohci.h { return read_roothub (hc, portstatus [i], 0xffe0fce0); }