/seL4-refos-master/kernel/src/arch/arm/32/machine/ |
H A D | capdl.c | 116 vm_page_size_t page_size; local 124 page_size = ARMLargePage; 126 page_size = ARMSmallPage; 129 page_size = ARMSmallPage; 137 page_size = ARMLargePage; 144 page_size = ARMSmallPage; 146 i += (1 << pageBitsForSize(page_size)); 155 vm_page_size_t page_size; local 166 page_size = ARMSuperSection; 168 page_size [all...] |
/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | libc.h | 28 size_t page_size; member in struct:__libc 33 #define PAGE_SIZE libc.page_size
|
/seL4-refos-master/kernel/include/drivers/smmu/ |
H A D | smmuv2.h | 18 #define SMMU_GLOBAL_SIZE(num_page, page_size) ((num_page) * (page_size)) 19 #define SMMU_CB_SIZE(num_page, page_size) ((num_page) * (page_size)) 24 #define SMMU_GR1_PADDR(page_size) ((SMMU_GR0_PADDR) + 1 * (page_size)) 25 #define SMMU_GID_PADDR(page_size) ((SMMU_GR0_PADDR) + 2 * (page_size)) 26 #define SMMU_PM_PADDR(page_size) ((SMMU_GR0_PADDR) + 3 * (page_size)) [all...] |
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
H A D | vspace.h | 54 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr); 57 void flushPage(vm_page_size_t page_size, pde_t *pd, asid_t asid, word_t vptr);
|
/seL4-refos-master/kernel/src/arch/x86/64/machine/ |
H A D | capdl.c | 14 static void obj_frame_print_attrs(paddr_t paddr, word_t page_size); 76 static void obj_frame_print_attrs(paddr_t paddr, word_t page_size) argument 81 switch (page_size) { 99 word_t page_size; local 107 page_size = seL4_PageBits; 109 obj_frame_print_attrs(paddr, page_size); 117 word_t page_size; local 125 page_size = seL4_LargePageBits; 128 obj_frame_print_attrs(paddr, page_size); 140 word_t page_size; local [all...] |
/seL4-refos-master/libs/libmuslc/src/env/ |
H A D | __libc_start_main.c | 31 libc.page_size = aux[AT_PAGESZ];
|
/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 145 uintptr_t start = ROUND_DOWN(paddr, page_size); 174 error = vka_utspace_alloc_at(vka, &path, type, page_size_bits, start + (i * page_size),
|
/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 145 uintptr_t start = ROUND_DOWN(paddr, page_size); 174 error = vka_utspace_alloc_at(vka, &path, type, page_size_bits, start + (i * page_size),
|
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
H A D | ept.h | 59 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr);
|
H A D | vspace.h | 92 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr); 94 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vptr, void *pptr); 95 exception_t decodeX86ModeMapPage(word_t invLabel, vm_page_size_t page_size, cte_t *cte, cap_t cap,
|
/seL4-refos-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | vspace.h | 47 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr);
|
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/kernel/ |
H A D | vspace.h | 44 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr);
|
/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 844 switch (page_size) { 903 switch (page_size) { 957 static pde_t CONST makeUserPDE(vm_page_size_t page_size, paddr_t paddr, bool_t parity, argument 972 switch (page_size) { 1374 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument 1384 switch (page_size) { 1508 flushPage(page_size, find_ret.pd, asid, vptr); 1511 void flushPage(vm_page_size_t page_size, pde_t *pd, asid_t asid, word_t vptr) argument 1517 assert((vptr & MASK(pageBitsForSize(page_size))) 2457 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/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 1435 if (config_set(CONFIG_HUGE_PAGE) && page_size == X64_HugePage) { 1509 exception_t decodeX86ModeMapPage(word_t label, vm_page_size_t page_size, cte_t *cte, cap_t cap, argument 1512 if (config_set(CONFIG_HUGE_PAGE) && page_size == X64_HugePage) {
|
/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 1336 switch (page_size) { 2199 word_t page_size; local 2237 page_size = BIT(pageBitsForSize(cap_frame_cap_get_capFSize(cap))); 2238 if (start >= page_size || end > page_size) {
|
/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 979 switch (page_size) {
|
H A D | vspace.c | 707 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument 719 switch (page_size) { 749 if (!modeUnmapPage(page_size, find_ret.vspace_root, vptr, pptr)) {
|
/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 564 if (unlikely(lu_ret.ptBitsLeft != pageBitsForSize(page_size))) {
|
/seL4-refos-master/libs/libmuslc/ldso/ |
H A D | dynlink.c | 1411 libc.page_size = aux[AT_PAGESZ];
|