Searched refs:message (Results 1 - 25 of 56) sorted by relevance

123

/seL4-refos-master/projects/seL4_libs/libsel4test/include/sel4test/
H A Dmacros.h36 #define sel4test_case_with_message(condition, message) do {\
38 sel4test_report_error(message);\
/seL4-refos-master/seL4_tools/cmake-tool/helpers/
H A Dshoehorn.py34 def write(message: str):
36 Write diagnostic `message` to standard error.
38 sys.stderr.write('{}: {}\n'.format(program_name, message))
41 def debug(message: str):
43 Emit debugging diagnostic `message`.
46 write('debug: {}'.format(message))
53 def die(message: str, status: int = 3):
55 Emit fatal diagnostic `message` and exit with `status` (3 if not specified).
57 write('fatal error: {}'.format(message))
61 def notice(message
[all...]
H A Dcmakerepl8 message("CMake REPL: Execute cmake commands interactively. (Ctrl-D to exit)")
12 message(" Currently included in file: ${CMAKE_PARENT_LIST_FILE}")
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dpcconf.h267 # pragma message("Warning -- TERMLIB defined with NO_TERMS in pcconf.h")
268 # pragma message(" Forcing undef of TERMLIB")
274 # pragma message("Warning -- ANSI_DEFAULT defined with NO_TERMS in pcconf.h")
275 # pragma message(" Forcing undef of ANSI_DEFAULT")
282 # pragma message("Warning -- More than one screen package defined in pcconf.h")
287 # pragma message(" Forcing undef of SCREEN_DJGPPFAST")
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dpcconf.h267 # pragma message("Warning -- TERMLIB defined with NO_TERMS in pcconf.h")
268 # pragma message(" Forcing undef of TERMLIB")
274 # pragma message("Warning -- ANSI_DEFAULT defined with NO_TERMS in pcconf.h")
275 # pragma message(" Forcing undef of ANSI_DEFAULT")
282 # pragma message("Warning -- More than one screen package defined in pcconf.h")
287 # pragma message(" Forcing undef of SCREEN_DJGPPFAST")
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/
H A Ddispatch.c31 if (seL4_MessageInfo_get_label(m->message) != seL4_Fault_NullFault) {
59 c->rpcClient.minfo = m->message;
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Ddispatch.c31 if (seL4_MessageInfo_get_label(m->message) != seL4_Fault_NullFault) {
59 c->rpcClient.minfo = m->message;
H A Dcpio_dspace.c140 if (seL4_MessageInfo_get_capsUnwrapped(m->message) != 0x00000001 ||
141 seL4_MessageInfo_get_extraCaps(m->message) != 1) {
166 if (seL4_MessageInfo_get_capsUnwrapped(m->message) != 0x00000001 ||
167 seL4_MessageInfo_get_extraCaps(m->message) != 1) {
197 if (seL4_MessageInfo_get_capsUnwrapped(m->message) != 0x00000001 ||
198 seL4_MessageInfo_get_extraCaps(m->message) != 1) {
256 if (seL4_MessageInfo_get_capsUnwrapped(m->message) != 0x00000001 ||
257 seL4_MessageInfo_get_extraCaps(m->message) != 1) {
286 if (seL4_MessageInfo_get_extraCaps(m->message) != 2 ||
287 !(seL4_MessageInfo_get_capsUnwrapped(m->message)
[all...]
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/
H A Ddispatch.c31 if (seL4_MessageInfo_get_label(m->message) != seL4_Fault_NullFault) {
59 c->rpcClient.minfo = m->message;
/seL4-refos-master/apps/console_server/src/dispatchers/
H A Ddispatch.c31 if (seL4_MessageInfo_get_label(m->message) != seL4_Fault_NullFault) {
59 c->rpcClient.minfo = m->message;
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Ddispatch.c31 if (seL4_MessageInfo_get_label(m->message) != seL4_Fault_NullFault) {
59 c->rpcClient.minfo = m->message;
H A Dcpio_dspace.c140 if (seL4_MessageInfo_get_capsUnwrapped(m->message) != 0x00000001 ||
141 seL4_MessageInfo_get_extraCaps(m->message) != 1) {
166 if (seL4_MessageInfo_get_capsUnwrapped(m->message) != 0x00000001 ||
167 seL4_MessageInfo_get_extraCaps(m->message) != 1) {
197 if (seL4_MessageInfo_get_capsUnwrapped(m->message) != 0x00000001 ||
198 seL4_MessageInfo_get_extraCaps(m->message) != 1) {
256 if (seL4_MessageInfo_get_capsUnwrapped(m->message) != 0x00000001 ||
257 seL4_MessageInfo_get_extraCaps(m->message) != 1) {
286 if (seL4_MessageInfo_get_extraCaps(m->message) != 2 ||
287 !(seL4_MessageInfo_get_capsUnwrapped(m->message)
[all...]
/seL4-refos-master/apps/timer_server/src/dispatchers/
H A Ddispatch.c31 if (seL4_MessageInfo_get_label(m->message) != seL4_Fault_NullFault) {
59 c->rpcClient.minfo = m->message;
/seL4-refos-master/libs/libmuslc/src/misc/
H A Dsyslog.c82 static void _vsyslog(int priority, const char *message, va_list ap) argument
106 l2 = vsnprintf(buf+l, sizeof buf - l, message, ap);
125 void __vsyslog(int priority, const char *message, va_list ap) argument
131 _vsyslog(priority, message, ap);
136 void syslog(int priority, const char *message, ...) argument
139 va_start(ap, message);
140 __vsyslog(priority, message, ap);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Ddispatcher.c31 if (seL4_MessageInfo_get_label(m->message) != seL4_Fault_NullFault ||
50 pcb->rpcClient.minfo = m->message;
60 if (seL4_MessageInfo_get_capsUnwrapped(m->message) != unwrappedMask ||
61 seL4_MessageInfo_get_extraCaps(m->message) != numExtraCaps) {
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Ddispatcher.c31 if (seL4_MessageInfo_get_label(m->message) != seL4_Fault_NullFault ||
50 pcb->rpcClient.minfo = m->message;
60 if (seL4_MessageInfo_get_capsUnwrapped(m->message) != unwrappedMask ||
61 seL4_MessageInfo_get_extraCaps(m->message) != numExtraCaps) {
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dconsole_server.c64 @param msg The recieved message. (No ownership transfer)
65 @return DISPATCH_SUCCESS if message dispatched, DISPATCH_ERROR if unknown message.
98 dprintf("Unknown message (badge = %d msgInfo = %d label = %d).\n",
99 msg->badge, seL4_MessageInfo_get_label(msg->message), label);
100 ROS_ERROR("Console server unknown message.");
101 assert("!Console server unknown message.");
106 /*! @brief Main console server message loop. Simply loops through recieving and dispatching messages
115 msg.message = seL4_Recv(conServCommon->anonEP, &msg.badge);
/seL4-refos-master/projects/refos/impl/apps/file_server/src/
H A Dfile_server.c75 @param msg The received message. (No ownership transfer)
76 @return DISPATCH_SUCCESS if message dispatched, DISPATCH_ERROR if unknown message.
102 dprintf("Unknown message (badge = %d msgInfo = %d label = %d (0x%x)).\n",
103 msg->badge, seL4_MessageInfo_get_label(msg->message), label, label);
104 ROS_ERROR("File server unknown message.");
105 assert(!"File server unknown message.");
110 /*! @brief Main CPIO file server message loop. Simply loops through recieving and dispatching
119 dvprintf("Fileserver blocking for message...\n");
120 msg.message
[all...]
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Dtimer_server.c55 @param msg The recieved message. (No ownership transfer)
56 @return DISPATCH_SUCCESS if message dispatched, DISPATCH_ERROR if unknown message.
89 dprintf("Unknown message (badge = %d msgInfo = %d label = %d).\n",
90 msg->badge, seL4_MessageInfo_get_label(msg->message), label);
91 ROS_ERROR("timer server unknown message.");
92 assert(!"timer server unknown message.");
97 /*! @brief Main timer server message loop. Simply loops through recieving and dispatching messages
106 msg.message = seL4_Recv(s->commonState.anonEP, &msg.badge);
/seL4-refos-master/apps/console_server/src/
H A Dconsole_server.c64 @param msg The recieved message. (No ownership transfer)
65 @return DISPATCH_SUCCESS if message dispatched, DISPATCH_ERROR if unknown message.
98 dprintf("Unknown message (badge = %d msgInfo = %d label = %d).\n",
99 msg->badge, seL4_MessageInfo_get_label(msg->message), label);
100 ROS_ERROR("Console server unknown message.");
101 assert("!Console server unknown message.");
106 /*! @brief Main console server message loop. Simply loops through recieving and dispatching messages
115 msg.message = seL4_Recv(conServCommon->anonEP, &msg.badge);
/seL4-refos-master/apps/file_server/src/
H A Dfile_server.c75 @param msg The received message. (No ownership transfer)
76 @return DISPATCH_SUCCESS if message dispatched, DISPATCH_ERROR if unknown message.
102 dprintf("Unknown message (badge = %d msgInfo = %d label = %d (0x%x)).\n",
103 msg->badge, seL4_MessageInfo_get_label(msg->message), label, label);
104 ROS_ERROR("File server unknown message.");
105 assert(!"File server unknown message.");
110 /*! @brief Main CPIO file server message loop. Simply loops through recieving and dispatching
119 dvprintf("Fileserver blocking for message...\n");
120 msg.message
[all...]
/seL4-refos-master/apps/timer_server/src/
H A Dtimer_server.c55 @param msg The recieved message. (No ownership transfer)
56 @return DISPATCH_SUCCESS if message dispatched, DISPATCH_ERROR if unknown message.
89 dprintf("Unknown message (badge = %d msgInfo = %d label = %d).\n",
90 msg->badge, seL4_MessageInfo_get_label(msg->message), label);
91 ROS_ERROR("timer server unknown message.");
92 assert(!"timer server unknown message.");
97 /*! @brief Main timer server message loop. Simply loops through recieving and dispatching messages
106 msg.message = seL4_Recv(s->commonState.anonEP, &msg.badge);
/seL4-refos-master/kernel/manual/parts/
H A Dipc.tex9 The seL4 microkernel provides a message-passing IPC mechanism for communication
14 chapter describes the common message format, endpoints,
20 Each message contains a number of message words and optionally a number of
22 The message words are sent to or received from a thread by placing them in its \emph{message registers}.
23 The message registers are numbered and the first few message registers are implemented
31 Every IPC message also has a tag (structure \texttt{seL4\_MessageInfo\_t}). The
32 tag consists of four fields: the label, message lengt
[all...]
/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dmain.c60 /*! @brief Process server IPC message handler.
63 the correct dispatcher for the message type has been found.
66 @param msg The process server recieved message info.
107 /* Unknown message. Block calling client indefinitely. */
108 dprintf("Unknown message (badge = %d msgInfo = %d syscall = 0x%x).\n",
109 msg->badge, seL4_MessageInfo_get_label(msg->message), label);
110 ROS_ERROR("Process server unknown message. �����(��_o)/��");
117 process server endpoint and waits for an IPC message, and then handles the dispatching of
118 the message when it recieves one, before looping around and waiting for the next IPC message
[all...]
/seL4-refos-master/apps/process_server/src/
H A Dmain.c60 /*! @brief Process server IPC message handler.
63 the correct dispatcher for the message type has been found.
66 @param msg The process server recieved message info.
107 /* Unknown message. Block calling client indefinitely. */
108 dprintf("Unknown message (badge = %d msgInfo = %d syscall = 0x%x).\n",
109 msg->badge, seL4_MessageInfo_get_label(msg->message), label);
110 ROS_ERROR("Process server unknown message. �����(��_o)/��");
117 process server endpoint and waits for an IPC message, and then handles the dispatching of
118 the message when it recieves one, before looping around and waiting for the next IPC message
[all...]

Completed in 90 milliseconds

123