3887441b37
This commit fixes a bug where if multiple concurrent USBH API calls trigger multiple events on the same device, some events will be lost. As a result, those lost events don't get processed by the subsequent usbh_process() call.