From 7de0708eac63bb81786c2a5e794c5d6fbef069c4 Mon Sep 17 00:00:00 2001 From: Doug Gilbert Date: Fri, 4 Nov 2011 12:12:01 -0500 Subject: Interrupt presenter implementation Change-Id: If6b499d819b71298b8a64e096e1eb83c639ad645 Reviewed-on: http://gfw160.austin.ibm.com:8080/gerrit/517 Tested-by: Jenkins Server Reviewed-by: Daniel M. Crowell Reviewed-by: A. Patrick Williams III --- src/include/sys/msg.h | 20 +++++++++++++++++--- 1 file changed, 17 insertions(+), 3 deletions(-) (limited to 'src/include/sys/msg.h') diff --git a/src/include/sys/msg.h b/src/include/sys/msg.h index be7ba397a..f58e3c8f1 100644 --- a/src/include/sys/msg.h +++ b/src/include/sys/msg.h @@ -57,6 +57,19 @@ enum msg_sys_types_t MSG_MM_RP_READ, MSG_MM_RP_WRITE, MSG_MM_RP_PERM, + + MSG_INTR_EXTERN, //!< Msg sent from kernel to user space on ext intr + MSG_INTR_ADD_CPU, //!< Add cpu core, data[0] = cpuid (PIR) +}; + +// System-defined root queue types +/** @enum msg_root_queue_types_t + * @brief Message queue types that the kernel tracks + */ +enum msg_root_queue_types_t +{ + MSGQ_ROOT_VFS, + MSGQ_ROOT_INTR, }; /** @var msg_sys_types_t::MSG_MM_RP_READ @@ -229,9 +242,10 @@ msg_t* msg_wait(msg_q_t q); * * @return true if asynchronous message */ -ALWAYS_INLINE - inline uint32_t msg_is_async(msg_t* msg) - { return 0 == msg->__reserved__async; } + ALWAYS_INLINE +inline uint32_t msg_is_async(msg_t* msg) +{ return 0 == msg->__reserved__async; } + #ifdef __cplusplus } -- cgit v1.2.3