Searched refs:unmapPageTable (Results 1 - 12 of 12) sorted by relevance
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
| H A D | vspace.h | 53 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt);
|
| /seL4-test-master/kernel/include/arch/riscv/arch/kernel/ |
| H A D | vspace.h | 46 void unmapPageTable(asid_t, vptr_t vaddr, pte_t *pt);
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/kernel/ |
| H A D | vspace.h | 43 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt);
|
| /seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | vspace.h | 83 void unmapPageTable(asid_t, vptr_t vaddr, pte_t *pt);
|
| /seL4-test-master/kernel/src/arch/riscv/object/ |
| H A D | objecttype.c | 100 unmapPageTable(asid, cap_page_table_cap_get_capPTMappedAddress(cap), pte);
|
| /seL4-test-master/kernel/src/arch/x86/object/ |
| H A D | objecttype.c | 197 unmapPageTable(
|
| /seL4-test-master/kernel/src/arch/arm/32/object/ |
| H A D | objecttype.c | 164 unmapPageTable(
|
| /seL4-test-master/kernel/src/arch/arm/64/object/ |
| H A D | objecttype.c | 195 unmapPageTable(cap_page_table_cap_get_capPTMappedASID(cap),
|
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 504 void unmapPageTable(asid_t asid, vptr_t vptr, pte_t *target_pt) function
1093 unmapPageTable(
|
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 759 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) function
1110 unmapPageTable(
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1218 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) function
1885 unmapPageTable(
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1312 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) function
1554 unmapPageTable(cap_page_table_cap_get_capPTMappedASID(cap),
|
Completed in 56 milliseconds