Searched refs:unmapPage (Results 1 - 13 of 13) sorted by relevance
/seL4-l4v-10.1.1/seL4/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-l4v-10.1.1/seL4/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);
|
/seL4-l4v-10.1.1/seL4/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-l4v-10.1.1/seL4/src/arch/x86/32/object/ |
H A D | objecttype.c | 100 unmapPage(
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/object/ |
H A D | objecttype.c | 189 unmapPage(ARMSmallPage, 222 unmapPage(cap_frame_cap_get_capFSize(cap),
|
/seL4-l4v-10.1.1/seL4/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);
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/object/ |
H A D | objecttype.c | 94 unmapPage(cap_frame_cap_get_capFSize(cap),
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/object/ |
H A D | objecttype.c | 129 unmapPage(
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/object/ |
H A D | objecttype.c | 182 unmapPage(cap_frame_cap_get_capFSize(cap),
|
/seL4-l4v-10.1.1/seL4/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) function 1209 unmapPage(cap_frame_cap_get_capFSize(cap),
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
H A D | vspace.c | 710 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) function 844 unmapPage(
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1441 unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) function 2113 unmapPage(generic_frame_cap_get_capFSize(cap),
|
/seL4-l4v-10.1.1/seL4/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) function 1643 unmapPage(cap_frame_cap_get_capFSize(cap),
|
Completed in 167 milliseconds