[pintos-anon] / src / devices / usb.h

#define USB_BASE_CLASS 0x0c
#define USB_SUB_CLASS 0x03

void usb_init(void);