Searched defs:pml4 (Results 1 – 5 of 5) sorted by relevance
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | ept.h | 15 ept_pml4e_t *pml4; member
22 ept_pml4e_t *pml4; member
29 ept_pml4e_t *pml4; member
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | ept.c | 91 static ept_pml4e_t *CONST lookupEPTPML4Slot(ept_pml4e_t *pml4, vptr_t vptr) in lookupEPTPML4Slot()
96 static lookupEPTPDPTSlot_ret_t CONST lookupEPTPDPTSlot(ept_pml4e_t *pml4, vptr_t vptr) in lookupEPTPDPTSlot()
118 static lookupEPTPDSlot_ret_t lookupEPTPDSlot(ept_pml4e_t *pml4, vptr_t vptr) in lookupEPTPDSlot()
148 static lookupEPTPTSlot_ret_t lookupEPTPTSlot(ept_pml4e_t *pml4, vptr_t vptr) in lookupEPTPTSlot()
250 …tion_t performEPTPDPTInvocationMap(cap_t cap, cte_t *cte, ept_pml4e_t pml4e, ept_pml4e_t *pml4Slot, in performEPTPDPTInvocationMap()
270 ept_pml4e_t *pml4; in decodeX86EPTPDPTInvocation() local
454 ept_pml4e_t *pml4) in performEPTPDInvocationMap()
473 ept_pml4e_t *pml4; in decodeX86EPTPDInvocation() local
660 ept_pml4e_t *pml4; in decodeX86EPTPTInvocation() local
772 ept_pml4e_t *pml4) in performEPTPageMapPDE()
[all …]
|
| /seL4-master/src/arch/x86/64/machine/ |
| A D | capdl.c | 164 static void x86_64_obj_pml4_print_slots(pml4e_t *pml4) in x86_64_obj_pml4_print_slots()
179 … pml4e_t *pml4 = PML4E_PTR(cap_pml4_cap_get_capPML4BasePtr(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap)); in obj_tcb_print_vtable() local
451 static void x86_64_cap_pml4_print_slots(pml4e_t *pml4) in x86_64_cap_pml4_print_slots()
474 … pml4e_t *pml4 = PML4E_PTR(cap_pml4_cap_get_capPML4BasePtr(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap)); in obj_vtable_print_slots() local
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 476 pml4e_t *pml4; in setVMRoot() local
527 pml4e_t *pml4 = PML4_PTR(pptr_of_cap(pd_cap)); in map_it_frame_cap() local
562 pml4e_t *pml4 = PML4_PTR(pptr_of_cap(vspace_cap)); in map_it_pdpt_cap() local
581 pml4e_t *pml4 = PML4_PTR(pptr_of_cap(vspace_cap)); in map_it_pd_cap() local
604 pml4e_t *pml4 = PML4_PTR(pptr_of_cap(vspace_cap)); in map_it_pt_cap() local
989 static pml4e_t *lookupPML4Slot(vspace_root_t *pml4, vptr_t vptr) in lookupPML4Slot()
996 static lookupPDPTSlot_ret_t lookupPDPTSlot(vspace_root_t *pml4, vptr_t vptr) in lookupPDPTSlot()
1020 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *pml4, vptr_t vptr) in lookupPDSlot()
|
| /seL4-master/src/arch/x86/object/ |
| A D | vcpu.c | 1320 ept_pml4e_t *pml4; in setEPTRoot() local
|
Completed in 19 milliseconds