| /seL4-refos-master/libs/libmuslc/src/internal/ |
| H A D | libc.h | 28 size_t page_size; member in struct:__libc
|
| /seL4-refos-master/kernel/src/arch/arm/32/machine/ |
| H A D | capdl.c | 116 vm_page_size_t page_size; local
155 vm_page_size_t page_size; local
[all...] |
| /seL4-refos-master/libs/libsel4platsupport/src/ |
| H A D | io.c | 36 size_t page_size; member in struct:io_mapping
144 int page_size = BIT(page_size_bits); local
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | io.c | 36 size_t page_size; member in struct:io_mapping
144 int page_size = BIT(page_size_bits); local
|
| /seL4-refos-master/kernel/src/arch/x86/64/machine/ |
| H A D | capdl.c | 76 static void obj_frame_print_attrs(paddr_t paddr, word_t page_size) argument
99 word_t page_size; local
117 word_t page_size; local
140 word_t page_size; local
[all...] |
| /seL4-refos-master/kernel/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
653 exception_t decodeX86ModeMapPage(word_t invLabel, vm_page_size_t page_size, cte_t *cte, cap_t cap, argument
|
| /seL4-refos-master/kernel/src/arch/x86/kernel/ |
| H A D | ept.c | 969 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
|
| H A D | vspace.c | 707 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
|
| /seL4-refos-master/kernel/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
1509 exception_t decodeX86ModeMapPage(word_t label, vm_page_size_t page_size, cte_t *cte, cap_t cap, argument
|
| /seL4-refos-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 553 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) argument
|
| /seL4-refos-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 835 static pte_t CONST makeUserPTE(vm_page_size_t page_size, paddr_t paddr, argument
957 static pde_t CONST makeUserPDE(vm_page_size_t page_size, paddr_t paddr, bool_t parity, argument
1374 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
1511 void flushPage(vm_page_size_t page_size, pde_t *pd, asid_t asid, word_t vptr) argument
2457 word_t page_size; local
[all...] |
| /seL4-refos-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1325 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) argument
2199 word_t page_size; local
|