diff --git a/demos/host/src/keyboard_host_app.c b/demos/host/src/keyboard_host_app.c
index bfc4bd585..d538c58c4 100644
--- a/demos/host/src/keyboard_host_app.c
+++ b/demos/host/src/keyboard_host_app.c
@@ -82,7 +82,7 @@ void tuh_hid_keyboard_isr(uint8_t dev_addr, tusb_event_t event)
   switch(event)
   {
     case TUSB_EVENT_XFER_COMPLETE:
-      (void) osal_queue_send(queue_kbd_hdl, &usb_keyboard_report);
+      osal_queue_send(queue_kbd_hdl, &usb_keyboard_report);
       tuh_hid_keyboard_get_report(dev_addr, (uint8_t*) &usb_keyboard_report);
     break;
 
diff --git a/demos/host/src/mouse_host_app.c b/demos/host/src/mouse_host_app.c
index 7754bb08b..85006af3f 100644
--- a/demos/host/src/mouse_host_app.c
+++ b/demos/host/src/mouse_host_app.c
@@ -81,7 +81,7 @@ void tuh_hid_mouse_isr(uint8_t dev_addr, tusb_event_t event)
   switch(event)
   {
     case TUSB_EVENT_XFER_COMPLETE:
-      (void) osal_queue_send(queue_mouse_hdl, &usb_mouse_report);
+      osal_queue_send(queue_mouse_hdl, &usb_mouse_report);
       (void) tuh_hid_mouse_get_report(dev_addr, (uint8_t*) &usb_mouse_report);
     break;
 
diff --git a/tinyusb/device/usbd.c b/tinyusb/device/usbd.c
index 0bc15221f..458b03b10 100644
--- a/tinyusb/device/usbd.c
+++ b/tinyusb/device/usbd.c
@@ -434,7 +434,7 @@ void usbd_setup_received_isr(uint8_t coreid, tusb_control_request_t * p_request)
   };
 
   task_event.setup_received  = (*p_request);
-  VERIFY( osal_queue_send(usbd_queue_hdl, &task_event), );
+  osal_queue_send(usbd_queue_hdl, &task_event);
 }
 
 void usbd_xfer_isr(endpoint_handle_t edpt_hdl, tusb_event_t event, uint32_t xferred_bytes)
@@ -454,7 +454,7 @@ void usbd_xfer_isr(endpoint_handle_t edpt_hdl, tusb_event_t event, uint32_t xfer
     task_event.xfer_done.xferred_byte = xferred_bytes;
     task_event.xfer_done.edpt_hdl     = edpt_hdl;
 
-    VERIFY( osal_queue_send(usbd_queue_hdl, &task_event), );
+    osal_queue_send(usbd_queue_hdl, &task_event);
   }
 }
 
diff --git a/tinyusb/host/usbh.c b/tinyusb/host/usbh.c
index e9750f1fa..b39dad3fe 100644
--- a/tinyusb/host/usbh.c
+++ b/tinyusb/host/usbh.c
@@ -272,7 +272,7 @@ void usbh_hub_port_plugged_isr(uint8_t hub_addr, uint8_t hub_port)
       .hub_port = hub_port
   };
 
-  ASSERT( TUSB_ERROR_NONE == osal_queue_send(enum_queue_hdl, &enum_entry), VOID_RETURN );
+  osal_queue_send(enum_queue_hdl, &enum_entry);
 }
 
 void usbh_hcd_rhport_plugged_isr(uint8_t hostid)
@@ -284,7 +284,7 @@ void usbh_hcd_rhport_plugged_isr(uint8_t hostid)
       .hub_port = 0
   };
 
-  ASSERT( TUSB_ERROR_NONE == osal_queue_send(enum_queue_hdl, &enum_entry), VOID_RETURN );
+  osal_queue_send(enum_queue_hdl, &enum_entry);
 }
 
 // a device unplugged on hostid, hub_addr, hub_port
@@ -336,7 +336,7 @@ void usbh_hcd_rhport_unplugged_isr(uint8_t hostid)
       .hub_port = 0
   };
 
-  ASSERT( TUSB_ERROR_NONE == osal_queue_send(enum_queue_hdl, &enum_entry), VOID_RETURN );
+  osal_queue_send(enum_queue_hdl, &enum_entry);
 }
 
 //--------------------------------------------------------------------+