Searched refs:page_size (Results 1 - 20 of 20) sorted by relevance

/seL4-refos-master/kernel/src/arch/arm/32/machine/
H A Dcapdl.c116 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 Dlibc.h28 size_t page_size; member in struct:__libc
33 #define PAGE_SIZE libc.page_size
/seL4-refos-master/kernel/include/drivers/smmu/
H A Dsmmuv2.h18 #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 Dvspace.h54 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 Dcapdl.c14 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.c31 libc.page_size = aux[AT_PAGESZ];
/seL4-refos-master/libs/libsel4platsupport/src/
H A Dio.c36 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 Dio.c36 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 Dept.h59 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr);
H A Dvspace.h92 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 Dvspace.h47 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 Dvspace.h44 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 Dvspace.c835 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 Dvspace.c647 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 Dvspace.c1433 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 Dvspace.c1325 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 Dept.c969 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
979 switch (page_size) {
H A Dvspace.c707 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 Dvspace.c553 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 Ddynlink.c1411 libc.page_size = aux[AT_PAGESZ];

Completed in 239 milliseconds