| /seL4-master/include/arch/x86/arch/machine/ |
| A D | hardware.h | 32 typedef word_t vm_page_size_t; typedef
54 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize()
76 static inline word_t CONST pageBitsForSize_phys(vm_page_size_t pagesize) in pageBitsForSize_phys()
|
| /seL4-master/include/arch/arm/arch/64/mode/machine/ |
| A D | hardware.h | 33 typedef word_t vm_page_size_t; typedef
41 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize()
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| 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,
134 static inline bool_t checkVPAlignment(vm_page_size_t sz, word_t w) in checkVPAlignment()
|
| A D | ept.h | 56 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr);
|
| /seL4-master/include/arch/riscv/arch/machine/ |
| A D | hardware.h | 91 typedef word_t vm_page_size_t; typedef
93 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize()
|
| /seL4-master/include/arch/arm/arch/32/mode/machine/ |
| A D | hardware.h | 103 typedef word_t vm_page_size_t; typedef
112 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize()
|
| /seL4-master/include/arch/arm/arch/32/mode/kernel/ |
| 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-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 469 vm_page_size_t frame_size; in create_it_frame_cap()
646 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) in modeUnmapPage()
652 exception_t decodeX86ModeMapPage(word_t invLabel, vm_page_size_t page_size, cte_t *cte, cap_t cap, in decodeX86ModeMapPage()
662 vm_page_size_t frameSize; in benchmark_arch_map_logBuffer()
|
| /seL4-master/include/arch/riscv/arch/kernel/ |
| A D | vspace.h | 47 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr);
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 58 vm_page_size_t frameSize;
794 static pte_t CONST makeUserPTE(vm_page_size_t page_size, paddr_t paddr, in makeUserPTE()
916 static pde_t CONST makeUserPDE(vm_page_size_t page_size, paddr_t paddr, bool_t parity, in makeUserPDE()
1325 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr)
1462 void flushPage(vm_page_size_t page_size, pde_t *pd, asid_t asid, word_t vptr)
1542 static inline bool_t CONST checkVPAlignment(vm_page_size_t sz, word_t w)
1563 (paddr_t base, word_t vaddr, vm_page_size_t frameSize,
1663 (paddr_t base, word_t vaddr, vm_page_size_t frameSize,
1742 static inline vptr_t pageBase(vptr_t vaddr, vm_page_size_t size)
2239 vm_page_size_t frameSize;
[all …]
|
| /seL4-master/src/arch/arm/32/machine/ |
| A D | capdl.c | 120 vm_page_size_t page_size; in arm32_cap_pt_print_slots()
159 vm_page_size_t page_size; in obj_vtable_print_slots()
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 32 vm_page_size_t frameSize;
553 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) in unmapPage()
671 static inline bool_t CONST checkVPAlignment(vm_page_size_t sz, word_t w) in checkVPAlignment()
810 vm_page_size_t frameSize = cap_frame_cap_get_capFSize(cap); in decodeRISCVFrameInvocation()
1183 vm_page_size_t frameSize; in benchmark_arch_map_logBuffer()
|
| A D | boot.c | 32 vm_page_size_t frame_size; in create_mapped_it_frame_cap()
|
| /seL4-master/include/arch/arm/arch/64/mode/kernel/ |
| A D | vspace.h | 44 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr);
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 764 vm_page_size_t frame_size; in create_it_frame_cap()
1430 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) in modeUnmapPage()
1506 exception_t decodeX86ModeMapPage(word_t label, vm_page_size_t page_size, cte_t *cte, cap_t cap, in decodeX86ModeMapPage()
1625 vm_page_size_t frameSize; in benchmark_arch_map_logBuffer()
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 103 vm_page_size_t frameSize;
350 vm_page_size_t frame_size; in create_it_frame_cap()
1330 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) in unmapPage()
2074 vm_page_size_t frameSize; in decodeARMFrameInvocation()
2522 vm_page_size_t frameSize; in benchmark_arch_map_logBuffer()
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | ept.c | 799 vm_page_size_t frameSize; in decodeX86EPTPageMap()
962 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) in unmapEPTPage()
|
| A D | vspace.c | 707 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) in unmapPage()
943 vm_page_size_t frameSize; in decodeX86FrameInvocation()
|