Constant usb_device_speed_USB_SPEED_HIGH 

pub const usb_device_speed_USB_SPEED_HIGH: u32 = 3; // 3u32