| /seL4-test-master/projects/musllibc/src/env/ |
| H A D | __init_tls.c | 26 struct pthread pt; member in struct:builtin_tls
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | pagetables.c | 133 seL4_CPtr pt = vka_alloc_page_table_leaky(&env->vka); local
348 seL4_CPtr pt = vka_alloc_page_table_leaky(&env->vka); local
[all...] |
| H A D | vspace.c | 53 seL4_CPtr pt = vka_alloc_object_leaky(&env->vka, seL4_ARM_PageTableObject, 0); local
|
| H A D | iopt.c | 164 seL4_CPtr iospace, frame, pt; local
192 seL4_CPtr iospace, frame, pt; local
281 seL4_CPtr pt local
300 seL4_CPtr iospace, pt, frame; local
333 seL4_CPtr iospace, pt, frame; local
358 seL4_CPtr iospace, pt, frame; local
391 seL4_CPtr iospace, pt, frame; local
[all...] |
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/tests/ |
| H A D | ept.c | 33 static int map_ept_from_pdpt(env_t env, seL4_CPtr pml4, seL4_CPtr pdpt, seL4_CPtr *pd, seL4_CPtr *pt, seL4_CPtr *frame) argument
55 static int map_ept_set(env_t env, seL4_CPtr *pml4, seL4_CPtr *pdpt, seL4_CPtr *pd, seL4_CPtr *pt, seL4_CPtr *frame) argument
121 seL4_CPtr pml4, pdpt, pd, pt, frame; local
137 seL4_CPtr pml4, pdpt, pd, pt, frame; local
240 seL4_CPtr pml4, pdpt, pd, pt, frame; local
312 seL4_CPtr pml4, pdpt, pd, pt, frame; local
357 seL4_CPtr pml4, pdpt, pd, pt, frame; local
384 seL4_CPtr pml4, pdpt, pd, pt, frame; local
404 seL4_CPtr pml4, pdpt, pd, pt, frame; local
424 seL4_CPtr pml4, pdpt, pd, pt, frame; local
[all...] |
| /seL4-test-master/kernel/src/arch/riscv/machine/ |
| H A D | capdl.c | 38 pte_t *pt; local
194 static void riscv_obj_pt_print_slots(pte_t *lvl1pt, pte_t *pt, in argument
[all...] |
| /seL4-test-master/kernel/src/arch/arm/64/machine/ |
| H A D | capdl.c | 145 pte_t *pt = paddr_to_pptr(pde_pde_small_ptr_get_pt_base_address(pdSlot)); local
176 pte_t *pt = paddr_to_pptr(pde_pde_small_ptr_get_pt_base_address(pdSlot)); local
448 pte_t *pt = paddr_to_pptr(pde_pde_small_ptr_get_pt_base_address(pdSlot)); local
|
| /seL4-test-master/kernel/src/arch/arm/32/machine/ |
| H A D | capdl.c | 114 static void arm32_cap_pt_print_slots(pte_t *pt) argument
203 pte_t *pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pde)); local
228 pte_t *pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pde)); local
403 static void arm32_obj_pt_print_slots(pte_t *pt) argument
481 pte_t *pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pde)); local
[all...] |
| /seL4-test-master/kernel/src/arch/x86/64/machine/ |
| H A D | capdl.c | 100 pte_t *pt = paddr_to_pptr(pde_pde_pt_ptr_get_pt_base_address(pdSlot)); local
380 pte_t *pt = paddr_to_pptr(pde_pde_pt_ptr_get_pt_base_address(pdSlot)); local
|
| /seL4-test-master/kernel/src/arch/arm/object/ |
| H A D | iospace.c | 62 iopte_t *pt; local
|
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 105 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap)); local
130 pte_t *pt; local
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/ |
| H A D | structures.h | 283 static inline bool_t pte_ptr_get_present(pte_t *pt) argument
|
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| H A D | ept.c | 172 ept_pte_t *pt = paddr_to_pptr(ept_pde_ept_pde_pt_ptr_get_pt_base_address(lu_ret.pdSlot)); local
577 EPTPageTableMapped_ret_t EPTPageTableMapped(asid_t asid, vptr_t vaddr, ept_pte_t *pt) argument
613 void unmapEPTPageTable(asid_t asid, vptr_t vaddr, ept_pte_t *pt) argument
634 ept_pte_t *pt = (ept_pte_t *)cap_ept_pt_cap_get_capPTBasePtr(cap); local
638 pt); local
|
| H A D | vspace.c | 127 BOOT_CODE bool_t map_kernel_window_devices(pte_t *pt, uint32_t num_ioapic, paddr_t *ioapic_paddrs, uint32_t num_drhu, argument
634 pte_t *pt; local
685 void flushTable(vspace_root_t *vspace, word_t vptr, pte_t *pt, asid_ argument
759 unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) argument
1109 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)); local
1113 pt local
[all...] |
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 530 pte_t *pt; local
607 pte_t *pt = PT_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap)); local
|
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 173 pte_t *pt = PTE_PTR(pptr_of_cap(pt_cap)); local
395 pte_t *pt = lvl1pt; local
514 pte_t *pt = find_ret.vspace_root; local
1092 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)); local
1096 pt local
[all...] |
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 422 pte_t *pt; local
492 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap)); local
747 pte_t *pt, *ptSlot; local
760 static pte_t *lookupPTSlot_nofail(pte_t *pt, vptr_ argument
799 pte_t *pt = ptrFromPAddr(pde_pde_coarse_ptr_get_address(pde)); local
1092 pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt) argument
1218 unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) argument
1535 flushTable(pde_t *pd, asid_t asid, word_t vptr, pte_t *pt) argument
1884 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)); local
1888 pt); local
[all...] |
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 303 pte_t *pt; local
367 pte_t *pt = PT_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap)); local
733 pte_t *pt; local
775 pte_t *pt = paddr_to_pptr(pde_pde_small_ptr_get_pt_base_address(pdSlot)); local
1260 pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt) argument
1312 unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) argument
1553 pte_t *pt = PT_PTR(cap_page_table_cap_get_capPTBasePtr(cap)); local
1555 cap_page_table_cap_get_capPTMappedAddress(cap), pt); local
[all...] |
| /seL4-test-master/projects/musllibc/ldso/ |
| H A D | dynlink.c | 107 struct pthread pt; member in struct:builtin_tls
|