Symbol: usb_check_int_endpoints