Searched defs:pml4 (Results 1 - 5 of 5) sorted by relevance
| /seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | ept.h | 15 ept_pml4e_t *pml4; member in struct:EPTPDPTMapped_ret
22 ept_pml4e_t *pml4; member in struct:EPTPageDirectoryMapped_ret
29 ept_pml4e_t *pml4; member in struct:EPTPageTableMapped_ret
|
| /seL4-camkes-master/kernel/src/arch/x86/64/machine/ |
| H A D | capdl.c | 161 static void x86_64_obj_pml4_print_slots(pml4e_t *pml4) argument
176 pml4e_t *pml4 = PML4E_PTR(cap_pml4_cap_get_capPML4BasePtr(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap)); local
448 static void x86_64_cap_pml4_print_slots(pml4e_t *pml4) argument
471 pml4e_t *pml4 = PML4E_PTR(cap_pml4_cap_get_capPML4BasePtr(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap)); local
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | ept.c | 91 static ept_pml4e_t *CONST lookupEPTPML4Slot(ept_pml4e_t *pml4, vptr_t vptr) argument
96 static lookupEPTPDPTSlot_ret_t CONST lookupEPTPDPTSlot(ept_pml4e_t *pml4, vptr_t vptr) argument
118 static lookupEPTPDSlot_ret_t lookupEPTPDSlot(ept_pml4e_t *pml4, vptr_t vptr) argument
148 static lookupEPTPTSlot_ret_t lookupEPTPTSlot(ept_pml4e_t *pml4, vptr_t vptr) argument
252 performEPTPDPTInvocationMap(cap_t cap, cte_t *cte, ept_pml4e_t pml4e, ept_pml4e_t *pml4Slot, ept_pml4e_t *pml4) argument
273 ept_pml4e_t *pml4; local
457 performEPTPDInvocationMap(cap_t cap, cte_t *cte, ept_pdpte_t pdpte, ept_pdpte_t *pdptSlot, ept_pml4e_t *pml4) argument
478 ept_pml4e_t *pml4; local
646 performEPTPTInvocationMap(cap_t cap, cte_t *cte, ept_pde_t pde, ept_pde_t *pdSlot, ept_pml4e_t *pml4) argument
666 ept_pml4e_t *pml4; local
768 performEPTPageMapPTE(cap_t cap, cte_t *cte, ept_pte_t *ptSlot, ept_pte_t pte, ept_pml4e_t *pml4) argument
777 performEPTPageMapPDE(cap_t cap, cte_t *cte, ept_pde_t *pdSlot, ept_pde_t pde1, ept_pde_t pde2, ept_pml4e_t *pml4) argument
802 ept_pml4e_t *pml4; local
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 476 pml4e_t *pml4; local
527 pml4e_t *pml4 = PML4_PTR(pptr_of_cap(pd_cap)); local
562 pml4e_t *pml4 local
581 pml4e_t *pml4 = PML4_PTR(pptr_of_cap(vspace_cap)); local
604 pml4e_t *pml4 = PML4_PTR(pptr_of_cap(vspace_cap)); local
989 lookupPML4Slot(vspace_root_t *pml4, vptr_t vptr) argument
996 lookupPDPTSlot(vspace_root_t *pml4, vptr_t vptr) argument
1020 lookupPDSlot(vspace_root_t *pml4, vptr_t vptr) argument
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/object/ |
| H A D | vcpu.c | 1321 ept_pml4e_t *pml4; local
|
Completed in 298 milliseconds