/* Return: 0 if successful. A negative error code otherwise.  */
void usb_gen_hcd_init(void)
/* Return: 0 if successful. A negative error code otherwise.  */
void usb_gen_hcd_init(void)
{
    usb_bus_list_lock = hal_sem_create(1);
}