Searched refs:actual (Results 1 - 11 of 11) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | light.c | 234 int count, actual, is_global; local
240 actual = maybe_write_ls(fd, range, TRUE);
241 if (actual != count)
243 count, actual, range);
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | light.c | 234 int count, actual, is_global; local
240 actual = maybe_write_ls(fd, range, TRUE);
241 if (actual != count)
243 count, actual, range);
|
| /seL4-refos-master/projects/refos/design/ |
| H A D | intro.tex | 24 \texttt{Methods} are conceptual "function calls" although they are usually implemented via communication with another process in which case they are actually remote procedure calls. Regardless of the underlying implementation, methods here refer to the actual procedures of an interface which get invoked.
137 For example, the notation \met{dataserv}{dataspace}{open} means an invocation of the \texttt{open} method of the \obj{dataspace} interface on the server called \srv{dataserv}. Note that any \srv{server} can implement a particular \obj{interface}. The encoding of method and arguments in the actual message is left as an implementation detail.
158 Note that \refOS does not make the assumption that the kernel is able to pass message contents via the notification itself, just that the kernel is able to pass just the notification. In order for the actual message to be delivered along with the notification, the implementation of the protocol may for instance make use of a shared buffer.
|
| H A D | interface.tex | 215 Give the content from the local dataserver to the remote dataserver in response to the remote dataserver's earlier notification asking for content. The content is assumed to be in the set up parameter buffer. This call implicitly requires a parameter buffer to be set up, and how this is done is up to the implementation. Even though the notification from the dataserver asking for content uses an ID to identify the dataspace, the reply, for security reasons, gives the actual dataspace capability. The ID may be used securely if the dataserver implementation supports per-client ID checking, and in this situtation a version of this method with an ID instead of a capability could be added.
296 The file server is more trusted than clients, but it is less trusted than the process server (this avoids deadlock). In \refOS, the file server does not use a disk driver and the actual file contents are compiled into the file server executable itself using a cpio archive. The file server acts as the main data server in \refOS.
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
| H A D | qt_win.h | 647 NetHackQtWindow* actual; member in class:NetHackQtMenuOrTextWindow
698 // note the actual class of the windows.
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
| H A D | qt_win.h | 647 NetHackQtWindow* actual; member in class:NetHackQtMenuOrTextWindow
698 // note the actual class of the windows.
|
| /seL4-refos-master/kernel/manual/parts/ |
| H A D | bootup.tex | 172 length is at least \texttt{untyped.end - untyped.start}. The actual length is
|
| H A D | threads.tex | 516 However, not all hardware platforms require an actual hardware breakpoint
530 On architectures that require an actual hardware registers to be configured for
|
| H A D | io.tex | 133 \obj{Page} capabilities are used to represent the actual frames that are
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | 1255 monster. There is no actual dialog (in other words, you don't get to
2549 This option only affects the game's screen display, not the actual
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | 1255 monster. There is no actual dialog (in other words, you don't get to
2549 This option only affects the game's screen display, not the actual
|
Completed in 164 milliseconds