| /seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/kernel/ |
| H A D | vspace.h | 59 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr);
62 void flushPage(vm_page_size_t page_size, pde_t* pd, asid_t asid, word_t vptr);
|
| /seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/kernel/ |
| H A D | vspace.h | 34 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr);
|
| /seL4-mcs-10.1.1/include/arch/x86/arch/kernel/ |
| H A D | vspace.h | 97 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr);
99 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vptr, void *pptr);
100 exception_t decodeX86ModeMapRemapPage(word_t invLabel, vm_page_size_t page_size, cte_t *cte, cap_t cap, vspace_root_t *vroot, vptr_t vptr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr);
|
| H A D | ept.h | 62 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr);
|
| /seL4-mcs-10.1.1/include/arch/riscv/arch/kernel/ |
| H A D | vspace.h | 59 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr);
|
| /seL4-mcs-10.1.1/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 881 makeUserPTE(vm_page_size_t page_size, paddr_t paddr, argument
890 switch (page_size) {
949 switch (page_size) {
1004 makeUserPDE(vm_page_size_t page_size, paddr_t paddr, bool_t parity, argument
1019 switch (page_size) {
1441 unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
1451 switch (page_size) {
1575 flushPage(page_size, find_ret.pd, asid, vptr);
1579 flushPage(vm_page_size_t page_size, pde_t* pd, asid_t asid, word_t vptr) argument
1585 assert((vptr & MASK(pageBitsForSize(page_size)))
2736 word_t page_size; local
[all...] |
| /seL4-mcs-10.1.1/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 672 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) argument
678 exception_t decodeX86ModeMapRemapPage(word_t invLabel, vm_page_size_t page_size, cte_t *cte, cap_t cap, vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr) argument
|
| /seL4-mcs-10.1.1/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 1489 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) argument
1491 if (config_set(CONFIG_HUGE_PAGE) && page_size == X64_HugePage) {
1575 decodeX86ModeMapRemapPage(word_t label, vm_page_size_t page_size, cte_t *cte, cap_t cap, vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr) argument
1577 if (config_set(CONFIG_HUGE_PAGE) && page_size == X64_HugePage) {
|
| /seL4-mcs-10.1.1/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1339 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) argument
1350 switch (page_size) {
2325 word_t page_size; local
2363 page_size = BIT(pageBitsForSize(cap_frame_cap_get_capFSize(cap)));
2364 if (start >= page_size || end > page_size) {
|
| /seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
| H A D | vspace.c | 554 unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) argument
565 if (unlikely(lu_ret.ptBitsLeft != pageBitsForSize(page_size))) {
|
| /seL4-mcs-10.1.1/src/arch/x86/kernel/ |
| H A D | ept.c | 1000 unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
1010 switch (page_size) {
|
| H A D | vspace.c | 710 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
723 switch (page_size) {
753 if (!modeUnmapPage(page_size, find_ret.vspace_root, vptr, pptr)) {
|