From 26db598fc05de718c3cb8b69cc3e2346c8466631 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Thu, 19 Sep 2013 15:14:04 +0200 Subject: [PATCH] hw: cancel waiting for IPC requests ref #899 --- base-hw/src/core/kernel/ipc_node.h | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) 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;