| /seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ |
| H A D | types.h | 43 typedef struct { unsigned long pte; } pte_t; member in struct:__anon909
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ |
| H A D | gdt_32.c | 115 pte_t pte; local
|
| H A D | mm.c | 745 pte_t pte; local
|
| /seL4-camkes-master/kernel/src/arch/riscv/object/ |
| H A D | objecttype.c | 96 pte_t *pte = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)); local
|
| /seL4-camkes-master/kernel/src/arch/arm/32/machine/ |
| H A D | capdl.c | 44 static void cap_frame_print_attrs_pt(pte_t *pte) argument
119 pte_t *pte = lookupPTSlot_nofail(pt, i); local
229 pte_t *pte = lookupPTSlot_nofail(pt, vptr); local
408 pte_t *pte = lookupPTSlot_nofail(pt, i); local
[all...] |
| /seL4-camkes-master/tools/riscv-pk/pk/ |
| H A D | mmap.c | 79 static size_t pte_ppn(pte_t pte) argument
97 static pte_t* __attribute__((noinline)) __continue_walk_create(uintptr_t addr, pte_t* pte) argument
127 pte_t* pte = __walk(vaddr); local
150 pte_t pte = 0; local
171 pte_t* pte = __walk(vaddr); local
216 pte_t* pte = __walk(a); local
245 pte_t* pte = __walk_create(a); local
337 pte_t* pte = __walk(a); local
375 pte_t* pte = __walk_create(a); local
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 211 pte_t pte; local
700 pte_t pte = pte_new( local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
| H A D | decode.c | 160 uint32_t pte = guest_get_phys_word(vcpu->vm, local
|
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | ept.c | 768 static exception_t performEPTPageMapPTE(cap_t cap, cte_t *cte, ept_pte_t *ptSlot, ept_pte_t pte, ept_pml4e_t *pml4) argument
874 ept_pte_t pte; local
|
| H A D | vspace.c | 132 pte_t pte; local
789 performX86PageInvocationMapPTE(cap_t cap, cte_t *ctSlot, pte_t *ptSlot, pte_t pte, vspace_root_t *vspace) argument
858 pte_t pte; member in struct:create_mapping_pte_return
[all...] |
| /seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/object/ |
| H A D | structures.h | 402 static inline word_t CONST pte_get_pteType(pte_t pte) argument
|
| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 52 static inline bool_t isPTEPageTable(pte_t *pte) argument
385 static inline pte_t *getPPtrFromHWPTE(pte_t *pte) argument
690 pte_t *pte = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)); local
775 pte_t pte local
900 pte_t pte = makeUserPTE(frame_paddr, executable, vmRights); local
1079 performPageTableInvocationMap(cap_t cap, cte_t *ctSlot, pte_t pte, pte_t *ptSlot) argument
1120 updatePTE(pte_t pte, pte_t *base) argument
1127 performPageInvocationMapPTE(cap_t cap, cte_t *ctSlot, pte_t pte, pte_t *base) argument
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 360 pteS1_t pte; local
800 pte_t *pte = lookupPTSlot_nofail(pt, vaddr); local
838 pte_t pte; local
1598 pte_t pte; member in struct:create_mappings_pte_return
1796 pteCheckIfMapped(pte_t *pte) argument
1896 performPageInvocationMapPTE(asid_t asid, cap_t cap, cte_t *ctSlot, pte_t pte, pte_range_t pte_entries) argument
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1597 performSmallPageInvocationMap(asid_t asid, cap_t cap, cte_t *ctSlot, pte_t pte, pte_t *ptSlot) argument
|