Symbol: usb_take_controller_t