Searched refs:slots (Results 1 - 11 of 11) sorted by relevance
/seL4-l4v-master/seL4/src/object/ |
H A D | untyped.c | 38 slot_range_t slots; local 162 /* Ensure that the destination slots are all empty. */ 163 slots.cnode = CTE_PTR(cap_cnode_cap_get_capCNodePtr(nodeCap)); 164 slots.offset = nodeOffset; 165 slots.length = nodeWindow; 167 status = ensureEmptySlot(slots.cnode + i); 235 slots, deviceMemory);
|
H A D | objecttype.c | 567 * the destination slots. 586 void createNewObjects(object_t t, cte_t *parent, slot_range_t slots, argument 596 totalObjectSize = slots.length << objectSize; 602 for (i = 0; i < slots.length; i++) { 608 insertNewCap(parent, &slots.cnode[slots.offset + i], cap);
|
/seL4-l4v-master/seL4/include/object/ |
H A D | objecttype.h | 26 void createNewObjects(object_t t, cte_t *parent, slot_range_t slots,
|
/seL4-l4v-master/seL4/manual/parts/ |
H A D | cspace.tex | 16 \obj{CNode}s. A \obj{CNode} is a table of slots, each of which may 60 When creating a \obj{CNode} the user must specify the number of slots 69 enough free capability slots available in existing \obj{CNode}s for 91 between two specified capability slots. You cannot move a capability 99 capabilities between three specified capability slots. It is 102 third to the second. The first and third specified slots may be the 127 newly-retyped objects are placed in consecutive slots in a 132 to create. All slots must be empty or an error will result. All resulting 321 objects, and each \obj{CNode} is a table of slots, where each slot can 323 Recall from \autoref{s:sel4_internals} that the number of slots i [all...] |
H A D | bootup.tex | 26 slots), but the guard is always chosen so that the CNode resolves exactly 30 The first 12 slots contain specific capabilities as listed in 69 CNode slots with CPTR \texttt{seL4\_NumInitialCaps} (defined in the seL4 86 of slots in the initial thread's CNode, starting with CPTR \texttt{start} and with 103 \texttt{seL4\_SlotRegion} & \texttt{empty} & empty slots (null caps) \\ 109 \texttt{seL4\_Uint8} & \texttt{initThreadCNodeSizeBits} & CNode size ($2^n$ slots) \\
|
H A D | vspace.tex | 33 In general, each paging structure at each level contains slots where the next level paging structure, 194 Mappings for sections and super sections consume 16 slots in the page table and page directory
|
H A D | objects.tex | 78 slots, where each slot may contain further \obj{CNode} capabilities. An 80 of slots within \obj{CNodes} forming the path to the destination 271 Each \obj{CNode} has a fixed number of slots, 467 \obj{CNode} & $\log_2$ number of slots & $2^\texttt{size\_bits} \cdot 2^\texttt{seL4\_SlotBits}$
|
/seL4-l4v-master/HOL4/examples/dev/sw2/ |
H A D | regAlloc.sml | 146 (* Rules for replacing variables with registers or memory slots. *) 419 (* Reduce the number of memory slots by reusing memory variables. *) 421 (* assume an unlimited number of memory slots. *) 424 (* The first available memory slot that doesn't conflict with live "slots" *) 445 (* reuse memory slots that will not be "live" any more *) 634 (* Assign registers to inputs; memory slots will be used when there are too *)
|
/seL4-l4v-master/HOL4/examples/dev/sw/ |
H A D | funCall.sml | 182 (* Given a list of registers and memory slots, group consecutive registers together to be used by mpush and mpop *)
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
H A D | funCall.sml | 170 (* Given a list of registers and memory slots, group consecutive registers together to be used by mpush and mpop *)
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/ |
H A D | funCall.sml | 167 (* Given a list of registers and memory slots, group consecutive registers together to be used by mpush and mpop *)
|
Completed in 115 milliseconds