Searched refs:messages (Results 1 - 13 of 13) sorted by relevance
/seL4-refos-master/libs/libmuslc/src/regex/ |
H A D | regerror.c | 12 static const char messages[] = { variable 33 for (s=messages; e && *s; e--, s+=strlen(s)+1);
|
/seL4-refos-master/projects/refos/design/ |
H A D | intro.tex | 61 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 D | fault_handler.c | 17 #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 D | fault_handler.c | 17 #include <sel4/messages.h> 256 /*! @brief Handles client VM fault messages sent by the kernel.
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | objects.tex | 41 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 D | ipc.tex | 13 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 D | threads.tex | 189 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 D | cspace.tex | 35 also sent in messages (message sending will be described in detail in
|
H A D | io.tex | 432 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 D | qt_win.h | 301 QString messages; member in class:NetHackQtMapWindow 333 // For messages
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | qt_win.h | 301 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 D | Guidebook.tex | 410 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 D | Guidebook.tex | 410 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