Symbol: usb_port_mask_t