Searched refs:vroot (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 37 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, vspace_root_t *vroot, pde_t stored_hw_asid) argument
39 word_t new_vroot = pptr_to_paddr(vroot);
44 SMP_COND_STATEMENT(tlb_bitmap_set(vroot, getCurrentCPUIndex());)
|
| /seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 31 switchToThread_fp(tcb_t *thread, vspace_root_t *vroot, pde_t stored_hw_asid) argument
39 armv_contextSwitch(vroot, asid);
|
| /seL4-l4v-master/seL4/include/arch/riscv/arch/fastpath/ |
| H A D | fastpath.h | 37 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, pte_t *vroot, pte_t stored_hw_asid) argument
41 setVSpaceRoot(addrFromPPtr(vroot), asid);
|
| /seL4-l4v-master/seL4/include/arch/x86/arch/kernel/ |
| H A D | vspace.h | 94 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vptr, void *pptr);
96 vspace_root_t *vroot, vptr_t vptr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr);
|
| /seL4-l4v-master/seL4/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 647 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) argument
654 vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr)
653 decodeX86ModeMapPage(word_t invLabel, vm_page_size_t page_size, cte_t *cte, cap_t cap, vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr) argument
|
| /seL4-l4v-master/seL4/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 1433 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) argument
1437 lookupPDPTSlot_ret_t pdpt_ret = lookupPDPTSlot(vroot, vaddr);
1510 vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr)
1515 map_ret = createSafeMappingEntries_PDPTE(paddr, vaddr, vm_rights, vm_attr, vroot);
1524 return performX64ModeMap(cap, cte, map_ret.pdpte, map_ret.pdptSlot, vroot);
1509 decodeX86ModeMapPage(word_t label, vm_page_size_t page_size, cte_t *cte, cap_t cap, vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr) argument
|
Completed in 55 milliseconds