Searched refs:unmapPage (Results 1 - 13 of 13) sorted by relevance
| /seL4-test-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);
|
| /seL4-test-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-test-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-test-master/kernel/src/arch/x86/32/object/ |
| H A D | objecttype.c | 94 unmapPage(
|
| /seL4-test-master/kernel/src/arch/arm/32/object/ |
| H A D | objecttype.c | 180 unmapPage(ARMSmallPage,
213 unmapPage(cap_frame_cap_get_capFSize(cap),
|
| /seL4-test-master/kernel/src/arch/x86/64/object/ |
| H A D | objecttype.c | 121 unmapPage(
|
| /seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | vspace.h | 92 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr);
|
| /seL4-test-master/kernel/src/arch/riscv/object/ |
| H A D | objecttype.c | 79 unmapPage(cap_frame_cap_get_capFSize(cap),
|
| /seL4-test-master/kernel/src/arch/arm/64/object/ |
| H A D | objecttype.c | 203 unmapPage(cap_frame_cap_get_capFSize(cap),
|
| /seL4-test-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) function
1137 unmapPage(cap_frame_cap_get_capFSize(cap),
|
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 707 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) function
818 unmapPage(
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1374 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) function
1967 unmapPage(generic_frame_cap_get_capFSize(cap),
|
| /seL4-test-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) function
1618 unmapPage(cap_frame_cap_get_capFSize(cap),
|
Completed in 184 milliseconds