/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | getauxval.c | 5 unsigned long getauxval(unsigned long item) argument 8 if (item == AT_SECURE) return libc.secure; 10 if (*auxv==item) return auxv[1];
|
/seL4-refos-master/libs/libmuslc/src/locale/ |
H A D | langinfo.c | 30 char *__nl_langinfo_l(nl_item item, locale_t loc) argument 32 int cat = item >> 16; 33 int idx = item & 65535; 36 if (item == CODESET) return MB_CUR_MAX==1 ? "ASCII" : "UTF-8"; 64 char *__nl_langinfo(nl_item item) argument 66 return __nl_langinfo_l(item, CURRENT_LOCALE);
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | strftime.c | 53 nl_item item; local 61 item = ABDAY_1 + tm->tm_wday; 65 item = DAY_1 + tm->tm_wday; 70 item = ABMON_1 + tm->tm_mon; 74 item = MON_1 + tm->tm_mon; 77 item = D_T_FMT; 124 item = tm->tm_hour >= 12 ? PM_STR : AM_STR; 127 item = T_FMT_AMPM; 163 item = D_FMT; 166 item [all...] |
/seL4-refos-master/projects/refos/design/ |
H A D | interface.tex | 28 \item[\obj{process}] is an object which is most likely maintained by the process server (\srv{procserv}) and represents a process. If something has access to a process object, it may perform operations involving that process such as killing that process and calling methods on behalf of that process. 30 \item[\obj{liveness}] is an object representing the identity of a process. If something has access to a liveness object of a process, it can be notified of the process's death and can request an ID to uniquely identify the process, but it cannot kill the process or pretend to be the process. 32 \item[\obj{anon}] is an object representing the "address" of a server, and it is used to establish a session connection to the server. 34 \item[\obj{session}] is an object representing an active connection session to a server. If something has access to a session object, it can invoke methods on the server on behalf of the session client. 36 \item[\obj{dataspace}] is an object that represents a dataspace. The dataspace itself may represent anything that may be modeled as a series of bytes including devices, RAM and files. If something has access to a dataspace object, it may read from the dataspace object, write to the dataspace object and execute the dataspace object by mapping a memory window to the dataspace, closing the dataspace, or deleting the dataspace. Performing these operations is dependent on the dataspace permissions. 38 \item[\obj{memwindow}] is an object that represents an address space range (i.e. a memory window) segment in a process's virtual memory. If something has access to a memory window object, it may perform operations on the memory window object such as mapping the memory window to a dataspace and mapping a frame into the memory window. 54 \item \pro{procserv}{session}{watch\_client(\cp{procserv}{liveness}, death\_notify\_ep)} 59 \item [procserv\_liveness\_C] The new client's liveness capability, which the client has given to the server through session connection 60 \item [death\_notify\_ep] The asynchronous endpoint through which death notification occurs 61 \item [deat [all...] |
H A D | appendix.tex | 245 \item 247 \item[\ty{mk\_mobject\_anon\_cap(win\_cap, perm)}] A method 257 \item[\ty{clientB\_clientid\_cap}] A distinguished badged client B cap 260 \item[\ty{share\_object(mobject\_anon\_cap, win\_size)}] A call to 268 \item[\ty{mobject\_anon\_cap}] An anonymous badged cap used to start a 272 \item[\ty{object\_share\_init(win\_cap)}] A call to the server that 281 \item[\ty{rootserver\_pagerid\_cap}] A distinguished badged root 284 \item[\ty{map\_share\_copy(win\_capA, win\_capB)}] A call to the 293 \item[\ty{nameserver\_serverid\_cap}] A distinguished badged name 296 \item[\t [all...] |
/seL4-refos-master/libs/libmuslc/src/search/ |
H A D | hsearch.c | 96 ENTRY *hsearch(ENTRY item, ACTION action) argument 100 __hsearch_r(item, action, &e, &htab); 128 int __hsearch_r(ENTRY item, ACTION action, ENTRY **retval, struct hsearch_data *htab) argument 130 size_t hash = keyhash(item.key); 131 ENTRY *e = lookup(item.key, hash, htab); 141 *e = item; 149 e = lookup(item.key, hash, htab);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wintype.h | 24 anything item; /* identifier */ member in struct:mi
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wintype.h | 24 anything item; /* identifier */ member in struct:mi
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 111 \item[\bb{Archeologists}]% 117 \item[\bb{Barbarians}]% 123 \item[\bb{Cavemen {\rm and} Cavewomen}] 127 \item[\bb{Healers}]% 136 \item[\bb{Knights}]% 142 \item[\bb{Monks}]% 148 \item[\bb{Priests {\rm and} Priestesses}]% 155 \item[\bb{Rangers}]% 161 \item[\bb{Rogues}]% 167 \item[\b [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 111 \item[\bb{Archeologists}]% 117 \item[\bb{Barbarians}]% 123 \item[\bb{Cavemen {\rm and} Cavewomen}] 127 \item[\bb{Healers}]% 136 \item[\bb{Knights}]% 142 \item[\bb{Monks}]% 148 \item[\bb{Priests {\rm and} Priestesses}]% 155 \item[\bb{Rangers}]% 161 \item[\bb{Rogues}]% 167 \item[\b [all...] |
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/ |
H A D | cqueue.c | 44 cqueue_item_t item = q->data[bot]; local 46 return item;
|
H A D | chash.c | 104 return entry->item; 118 entry->item = obj; 128 entry->item = obj;
|
/seL4-refos-master/libs/libdatastruct/src/ |
H A D | cqueue.c | 44 cqueue_item_t item = q->data[bot]; local 46 return item;
|
H A D | chash.c | 104 return entry->item; 118 entry->item = obj; 128 entry->item = obj;
|
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/ |
H A D | chash.h | 30 chash_item_t item; member in struct:chash_entry_s
|
/seL4-refos-master/libs/libdatastruct/include/data_struct/ |
H A D | chash.h | 30 chash_item_t item; member in struct:chash_entry_s
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | io.tex | 24 \item[\apifunc{seL4\_IRQHandler\_SetNotification}{irq_handlersetnotification}] 31 \item[\apifunc{seL4\_IRQHandler\_Ack}{irq_handleracknowledge}] 36 \item[\apifunc{seL4\_IRQHandler\_Clear}{irq_handlerclear}] 65 \item[\apifunc{seL4\_IRQControl\_GetIOAPIC}{x86_irq_handler_getioapic}] creates 68 \item[\apifunc{seL4\_IRQControl\_GetMSI}{x86_irq_handler_getmsi}] creates 123 \item[\obj{IOSpace}] This object represents the address space associated 127 \item[\obj{IOPageTable}] This object represents a node in the multilevel 251 \item[\obj{seL4\_ARM\_SID}] A capability granting access to a single 254 \item[\obj{seL4\_ARM\_CB}] A capbility representing a single specific context 258 \item[\ob [all...] |
H A D | objects.tex | 21 \item[Threads] are an abstraction of CPU execution that supports 24 \item[Scheduling contexts] (MCS only) are an abstraction of CPU execuion time. 26 \item[Address spaces] are virtual memory spaces that each contain an 30 \item[Inter-process communication] (IPC) via \emph{endpoints} allows 33 \item[Reply objects] (MCS only) are used to store single-use reply capabilities, 36 \item[Notifications] provide a non-blocking signalling mechanism 39 \item[Device primitives] allow device drivers to be implemented as 43 \item[Capability spaces] store capabilities (i.e., access rights) to 154 \item[\apifunc{seL4\_Yield}{sel4_yield}] is the only system call that does 162 \item[\apifun [all...] |
H A D | cspace.tex | 80 \item[\apifunc{seL4\_CNode\_Mint}{cnode_mint}] creates a new 87 \item[\apifunc{seL4\_CNode\_Copy}{cnode_copy}] is similar to 90 \item[\apifunc{seL4\_CNode\_Move}{cnode_move}] moves a capability 93 \item[\apifunc{seL4\_CNode\_Mutate}{cnode_mutate}] can move a 98 \item[\apifunc{seL4\_CNode\_Rotate}{cnode_rotate}] moves two 106 \item[\apifunc{seL4\_CNode\_Delete}{cnode_delete}] removes a 108 \item[\apifunc{seL4\_CNode\_Revoke}{cnode_revoke}] is equivalent to 113 \item[\apifunc{seL4\_CNode\_SaveCaller}{cnode_savecaller}] moves a 117 \item[\apifunc{seL4\_CNode\_CancelBadgedSends}{cnode_cancelbadgedsends}] cancels 369 \item [all...] |
/seL4-refos-master/libs/libmuslc/src/regex/ |
H A D | regexec.c | 505 tre_backtrack_item_t item; member in struct:tre_backtrack_struct 511 #define BT_STACK_MBSTATE_IN stack->item.mbstate = (mbstate) 512 #define BT_STACK_MBSTATE_OUT (mbstate) = stack->item.mbstate 544 s->item.tags = tre_bt_mem_alloc(mem, \ 546 if (!s->item.tags) \ 562 stack->item.pos = (_pos); \ 563 stack->item.str_byte = (_str_byte); \ 564 stack->item.state = (_state); \ 565 stack->item.state_id = (_state_id); \ 566 stack->item [all...] |
/seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
H A D | device_input.c | 52 cqueue_item_t item = cqueue_pop(&s->inputBacklog); local 53 (void) item;
|
/seL4-refos-master/apps/console_server/src/ |
H A D | device_input.c | 52 cqueue_item_t item = cqueue_pop(&s->inputBacklog); local 53 (void) item;
|
/seL4-refos-master/kernel/manual/tools/ |
H A D | parse_doxygen_xml.py | 111 for item in para.contents: 112 output += self.parse_para(item, ref_dict) 267 parse_table['listitem'] = lambda p, r: "\\item " + self.parse_para(p.para, r) + "\n" 291 for item in para.contents: 292 output += self.parse_para(item, ref_dict) 404 """ Returns a Markdown item list """ 406 for item in para.contents: 407 parsed_item = self.parse_para(item, ref_dict) 414 for num, item in zip(range(sys.maxsize), para.contents): 415 parsed_item = self.parse_para(item, ref_dic [all...] |
/seL4-refos-master/libs/librefossys/src/refos-io/ |
H A D | filetable.c | 52 cvector_item_t item = NULL; local 66 item = (cvector_item_t) e; 73 if (!item) { 78 return item;
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/ |
H A D | filetable.c | 52 cvector_item_t item = NULL; local 66 item = (cvector_item_t) e; 73 if (!item) { 78 return item;
|