Searched refs:messages (Results 1 - 13 of 13) sorted by relevance

/seL4-refos-master/libs/libmuslc/src/regex/
H A Dregerror.c12 static const char messages[] = { variable
33 for (s=messages; e && *s; e--, s+=strlen(s)+1);
/seL4-refos-master/projects/refos/design/
H A Dintro.tex61 with at-least-once semantics (the bits are OR'd together). The asynchronous endpoint can be used to notify an untrusted client. To send messages (as opposed to just notifications) to an untrusted client, shared memory must be set up between the server and the client. Care must be taken to avoid unfavourable results like blocking and denial of service on shared memory buffers which may fill up.
71 \refOS is designed under the assumption that synchronous call and reply interprocess communication messages may contain capabilities. \refOS also assumes that there is some way to store a minimal amount of immutable information in such capabilities and that receiving processes may read the immutable information from the capabilities that they receive via interprocess communication.
108 Protocols are shown as series of messages. Messages are implemented by operations, and the types of different messages directly correlate to the operation types. This section outlines the notation which this document will henceforth adhere to when describing the various forms of messages that form \refOS's protocol.
166 This notation is purposely very similar to a method invocation as those two are similar in concept in that they are both interprocess messages. The different message sequence diagram arrows used for synchronous calls and asynchronous notifications clearly distinguish the two.
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dfault_handler.c17 #include <sel4/messages.h>
256 /*! @brief Handles client VM fault messages sent by the kernel.
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dfault_handler.c17 #include <sel4/messages.h>
256 /*! @brief Handles client VM fault messages sent by the kernel.
/seL4-refos-master/kernel/manual/parts/
H A Dobjects.tex41 interrupts via IPC messages; and
117 of these messages are described in detail in \autoref{ch:ipc}.
119 Threads send messages by invoking capabilities within their capability space.
169 receive messages through endpoints or notifications. If no sender or
198 signals pending on a notification object or messages pending on an endpoint
216 \emph{reply object} is a vessel for tracking reply messages, used to send
246 poll for messages through endpoints or notifications. If no sender or
293 copying for short messages using only registers).
H A Dipc.tex13 threads, while messages sent to other objects are processed by the kernel. This
27 very short messages need not use the memory.
80 messages. When more arguments are transferred than physical message
H A Dthreads.tex189 will remain in the queue and can still recieve messages and signals. However, the unbound thread
284 Fault IPC messages are described in \autoref{sec:faults}. Standard exception-handler
H A Dcspace.tex35 also sent in messages (message sending will be described in detail in
H A Dio.tex432 broadcasting messages. This means the context banks should be configured with
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dqt_win.h301 QString messages; member in class:NetHackQtMapWindow
333 // For messages
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dqt_win.h301 QString messages; member in class:NetHackQtMapWindow
333 // For messages
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex410 The top line of the screen is reserved for messages that describe
760 Repeat previous message. Subsequent {\tt \^{}P}'s repeat earlier messages.
2431 The number of top line messages to save (and recall with `{\tt \^{}P}')
2435 Allows you to change the way recalled messages are displayed.
2441 {\tt c} --- combination, two messages as {\it single\/}, then as {\it full\/}.\\
2580 Enable messages about what your character hears (default on).
2594 alert notification messages about feature changes for that
2773 NetHack should display this number of messages at a time in the message window.
2931 to messages:
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex410 The top line of the screen is reserved for messages that describe
760 Repeat previous message. Subsequent {\tt \^{}P}'s repeat earlier messages.
2431 The number of top line messages to save (and recall with `{\tt \^{}P}')
2435 Allows you to change the way recalled messages are displayed.
2441 {\tt c} --- combination, two messages as {\it single\/}, then as {\it full\/}.\\
2580 Enable messages about what your character hears (default on).
2594 alert notification messages about feature changes for that
2773 NetHack should display this number of messages at a time in the message window.
2931 to messages:

Completed in 190 milliseconds