Searched defs:root (Results 1 – 11 of 11) sorted by relevance
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | tlb_bitmap.h | 18 static inline void tlb_bitmap_init(vspace_root_t *root) in tlb_bitmap_init()
25 static inline void tlb_bitmap_set(vspace_root_t *root, word_t cpu) in tlb_bitmap_set()
31 static inline void tlb_bitmap_unset(vspace_root_t *root, word_t cpu) in tlb_bitmap_unset()
37 static inline word_t tlb_bitmap_get(vspace_root_t *root) in tlb_bitmap_get()
|
| A D | tlb.h | 11 static inline void invalidatePageStructureCacheASID(paddr_t root, asid_t asid, word_t mask) in invalidatePageStructureCacheASID()
|
| /seL4-master/src/kernel/ |
| A D | cspace.c | 65 lookupSlot_ret_t lookupSlotForCNodeOp(bool_t isSource, cap_t root, cptr_t capptr, in lookupSlotForCNodeOp()
111 lookupSlot_ret_t lookupSourceSlot(cap_t root, cptr_t capptr, word_t depth) in lookupSourceSlot()
116 lookupSlot_ret_t lookupTargetSlot(cap_t root, cptr_t capptr, word_t depth) in lookupTargetSlot()
121 lookupSlot_ret_t lookupPivotSlot(cap_t root, cptr_t capptr, word_t depth) in lookupPivotSlot()
|
| /seL4-master/include/arch/x86/arch/smp/ |
| A D | ipi_inline.h | 23 static inline void doRemoteInvalidatePageStructureCacheASID(paddr_t root, asid_t asid, word_t mask) in doRemoteInvalidatePageStructureCacheASID()
|
| /seL4-master/include/arch/x86/arch/32/mode/ |
| A D | machine.h | 51 static inline void invalidateLocalPageStructureCacheASID(paddr_t root, asid_t asid) in invalidateLocalPageStructureCacheASID()
|
| /seL4-master/src/machine/ |
| A D | capdl.c | 294 cap_t root = TCB_PTR_CTE_PTR(tcb, tcbCTable)->cap; in obj_cnode_print_slots() local
|
| /seL4-master/include/arch/x86/arch/64/mode/ |
| A D | machine.h | 190 static inline void invalidateLocalPageStructureCacheASID(paddr_t root, asid_t asid) in invalidateLocalPageStructureCacheASID()
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 1122 vspace_root_t *root) in performX86PageTableInvocationMap()
1268 cap_t root; in decodeX86MMUInvocation() local
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 943 cap_t root; in decodeRISCVMMUInvocation() local
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 2516 cap_t untyped, root; local
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 2293 cap_t untyped, root; in decodeARMMMUInvocation() local
|
Completed in 24 milliseconds