Remove deferred notify from serial virt tx

Signed-off-by: Courtney Darville <courtneydarville94@outlook.com>
au-ts · Aug 6, 2024 · 5d9135f · 5d9135f
1 parent 6ed5141
commit 5d9135f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/serial/components/virt_tx.c b/serial/components/virt_tx.c
@@ -157,7 +157,7 @@ void tx_return(void)
 
     if (transferred && serial_require_producer_signal(&tx_queue_handle_drv)) {
         serial_cancel_producer_signal(&tx_queue_handle_drv);
-        microkit_deferred_notify(DRIVER_CH);
+        microkit_notify(DRIVER_CH);
     }
 
     for (uint32_t client = 0; client < SERIAL_NUM_CLIENTS; client++) {
@@ -197,7 +197,7 @@ void tx_provide(microkit_channel ch)
 
     if (transferred && serial_require_consumer_signal(&tx_queue_handle_cli[active_client])) {
         serial_cancel_consumer_signal(&tx_queue_handle_cli[active_client]);
-        microkit_deferred_notify(ch);
+        microkit_notify(ch);
     }
 }