Searched defs:unmapPage (Results 1 - 4 of 4) sorted by relevance
| /seL4-camkes-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
|
| /seL4-camkes-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
|
| /seL4-camkes-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
|
| /seL4-camkes-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
|
Completed in 60 milliseconds