diff --git a/base-hw/src/core/kernel/ipc_node.h b/base-hw/src/core/kernel/ipc_node.h index dcfc3ca7a9..1281e561bb 100644 --- a/base-hw/src/core/kernel/ipc_node.h +++ b/base-hw/src/core/kernel/ipc_node.h @@ -38,10 +38,10 @@ class Kernel::Ipc_node enum State { - INACTIVE = 1, - AWAIT_REPLY = 2, - AWAIT_REQUEST = 3, - PREPARE_REPLY = 4, + INACTIVE = 1, + AWAIT_REPLY = 2, + AWAIT_REQUEST = 3, + PREPARE_REPLY = 4, PREPARE_AND_AWAIT_REPLY = 5, }; @@ -318,6 +318,10 @@ class Kernel::Ipc_node _state = INACTIVE; _await_ipc_failed(); return; + case AWAIT_REQUEST: + _state = INACTIVE; + _await_ipc_failed(); + return; case PREPARE_AND_AWAIT_REPLY: _cancel_outbuf_request(); _state = PREPARE_REPLY;