Searched defs:unmapPage (Results 1 – 4 of 4) sorted by relevance
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 707 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) in unmapPage() function
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 553 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) in unmapPage() function
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 1325 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) function
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 1330 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) in unmapPage() function
|
Completed in 33 milliseconds