| /seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/kernel/ |
| H A D | tlb.h | 12 static inline void invalidateTLBEntry(vptr_t vptr, word_t mask) argument
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/machine/ |
| H A D | tlb.h | 15 static inline void invalidateTranslationSingleLocal(vptr_t vptr) argument
38 static inline void invalidateTranslationSingle(vptr_t vptr) argument
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/smp/ |
| H A D | ipi.h | 22 static void inline doRemoteInvalidateTLBEntry(vptr_t vptr, word_t mask) argument
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | tlb.h | 17 static inline void invalidateTranslationSingle(vptr_t vptr, word_t mask) argument
23 static inline void invalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask) argument
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/smp/ |
| H A D | ipi_inline.h | 25 static inline void doRemoteInvalidateTranslationSingle(vptr_t vptr, word_t mask) argument
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/smp/ |
| H A D | ipi_inline.h | 28 static inline void doRemoteInvalidateTranslationSingle(vptr_t vptr, word_t mask) argument
33 static inline void doRemoteInvalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask) argument
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/ |
| H A D | machine.h | 39 static inline void invalidateLocalTLBEntry(vptr_t vptr) argument
63 static inline void invalidateLocalTranslationSingle(vptr_t vptr) argument
69 static inline void invalidateLocalTranslationSingleASID(vptr_t vptr, asid_t asid) argument
|
| /seL4-camkes-master/kernel/src/arch/riscv/machine/ |
| H A D | capdl.c | 28 word_t vptr = tcb->tcbIPCBuffer; local
112 static void cap_frame_print_attrs_vptr(word_t vptr, pte_t *lvl1pt) argument
128 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(cap); local
146 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(cap); local
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/64/machine/ |
| H A D | capdl.c | 121 static void _cap_frame_print_attrs_vptr(word_t vptr, vspace_root_t *vspace) argument
166 cap_frame_print_attrs_vptr(word_t vptr, cap_t vspace) argument
174 arm64_cap_pt_print_slots(pde_t *pdSlot, vptr_t vptr) argument
191 arm64_cap_pd_print_slots(pude_t *pudSlot, vptr_t vptr) argument
222 arm64_cap_pud_print_slots(void *pgdSlot_or_vspace, vptr_t vptr) argument
283 word_t vptr = tcb->tcbIPCBuffer; local
295 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(cap); local
307 vptr_t vptr = cap_page_directory_cap_get_capPDMappedAddress(cap); local
320 vptr_t vptr = cap_page_upper_directory_cap_get_capPUDMappedAddress(cap); local
356 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(cap); local
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/32/machine/ |
| H A D | capdl.c | 217 static void cap_frame_print_attrs_vptr(word_t vptr, pde_t *pd) argument
256 word_t vptr = tcb->tcbIPCBuffer; local
269 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(cap); local
295 vptr_t vptr = cap_small_frame_cap_get_capFMappedAddress(cap); local
302 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(cap); local
[all...] |
| /seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/ |
| H A D | machine.h | 172 static inline void invalidateLocalTranslationSingle(vptr_t vptr) argument
180 static inline void invalidateLocalTranslationSingleASID(vptr_t vptr, asid_t asid) argument
|
| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
| H A D | boot.c | 52 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t argument
|
| H A D | vspace.c | 169 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap); local
237 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
390 lookupPTSlot_ret_t lookupPTSlot(pte_t *lvl1pt, vptr_t vptr) argument
504 void unmapPageTable(asid_t asid, vptr_t vptr, pte_t *target_pt) argument
553 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_ argument
608 checkValidIPCBuffer(vptr_t vptr, cap_t cap) argument
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/64/machine/ |
| H A D | capdl.c | 184 static void _cap_frame_print_attrs_vptr(word_t vptr, vspace_root_t *vspace) argument
211 cap_frame_print_attrs_vptr(word_t vptr, cap_t vspace) argument
225 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(cap); local
237 vptr_t vptr = cap_page_directory_cap_get_capPDMappedAddress(cap); local
249 vptr_t vptr = cap_pdpt_cap_get_capPDPTMappedAddress(cap); local
275 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(cap); local
373 word_t vptr = tcb->tcbIPCBuffer; local
378 x86_64_cap_pt_print_slots(pde_t *pdSlot, vptr_t vptr) argument
394 x86_64_cap_pd_print_slots(pdpte_t *pdptSlot, vptr_t vptr) argument
420 x86_64_cap_pdpt_print_slots(pml4e_t *pml4Slot, vptr_t vptr) argument
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 106 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap); local
133 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(frame_cap); local
156 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr) argument
|
| H A D | vspace.c | 392 static BOOT_CODE cap_t create_it_page_table_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
407 static BOOT_CODE cap_t create_it_page_directory_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
436 vptr_t vptr; local
466 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_ argument
495 create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable UNUSED) argument
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | ept.c | 91 static ept_pml4e_t *CONST lookupEPTPML4Slot(ept_pml4e_t *pml4, vptr_t vptr) argument
96 static lookupEPTPDPTSlot_ret_t CONST lookupEPTPDPTSlot(ept_pml4e_t *pml4, vptr_t vptr) argument
118 static lookupEPTPDSlot_ret_t lookupEPTPDSlot(ept_pml4e_t *pml4, vptr_t vptr) argument
148 static lookupEPTPTSlot_ret_t lookupEPTPTSlot(ept_pml4e_t *pml4, vptr_t vptr) argument
195 EPTPDPTMapped(asid_t asid, vptr_t vptr, ept_pdpte_t *pdpt) argument
969 unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
[all...] |
| H A D | vspace.c | 616 lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr) argument
648 exception_t checkValidIPCBuffer(vptr_t vptr, cap_t cap) argument
685 void flushTable(vspace_root_t *vspace, word_t vptr, pte_t *pt, asid_t asid) argument
707 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, voi argument
[all...] |
| /seL4-camkes-master/kernel/src/kernel/ |
| H A D | boot.c | 280 BOOT_CODE cap_t create_ipcbuf_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr) argument
291 BOOT_CODE void create_bi_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr) argument
|
| /seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 531 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(frame_cap); local
564 vptr_t vptr = cap_pdpt_cap_get_capPDPTMappedAddress(pdpt_cap); local
584 vptr_t vptr = cap_page_directory_cap_get_capPDMappedAddress(pd_cap); local
608 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap); local
639 create_it_pdpt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
652 create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
665 create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
693 vptr_t vptr; local
762 create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, seL4_Word map_type) argument
789 create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable UNUSED) argument
989 lookupPML4Slot(vspace_root_t *pml4, vptr_t vptr) argument
996 lookupPDPTSlot(vspace_root_t *pml4, vptr_t vptr) argument
1020 lookupPDSlot(vspace_root_t *pml4, vptr_t vptr) argument
1052 flushPD(vspace_root_t *vspace, word_t vptr, pde_t *pd, asid_t asid) argument
1062 flushPDPT(vspace_root_t *vspace, word_t vptr, pdpte_t *pdpt, asid_t asid) argument
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 426 vptr_t vptr = generic_frame_cap_get_capFMappedAddress(frame_cap); local
461 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) argument
493 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap); local
511 static BOOT_CODE cap_t create_it_page_table_cap(cap_t pd, pptr_t pptr, vptr_t vptr, asid_t asid) argument
576 create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable) argument
701 checkValidIPCBuffer(vptr_t vptr, cap_t cap) argument
725 lookupPDSlot(pde_t *pd, vptr_t vptr) argument
733 lookupPTSlot(pde_t *pd, vptr_t vptr) argument
760 lookupPTSlot_nofail(pte_t *pt, vptr_t vptr) argument
1374 unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) argument
1511 flushPage(vm_page_size_t page_size, pde_t *pd, asid_t asid, word_t vptr) argument
1535 flushTable(pde_t *pd, asid_t asid, word_t vptr, pte_t *pt) argument
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 305 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(frame_cap); local
343 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) argument
368 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap); local
387 create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
405 vptr_t vptr = cap_page_directory_cap_get_capPDMappedAddress(pd_cap); local
421 create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
439 vptr_t vptr = cap_page_upper_directory_cap_get_capPUDMappedAddress(pud_cap); local
447 create_it_pud_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) argument
473 vptr_t vptr; local
526 create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable) argument
618 checkValidIPCBuffer(vptr_t vptr, cap_t cap) argument
641 lookupPGDSlot(vspace_root_t *vspace, vptr_t vptr) argument
652 lookupPUDSlot(vspace_root_t *vspace, vptr_t vptr) argument
685 lookupPDSlot(vspace_root_t *vspace, vptr_t vptr) argument
715 lookupPTSlot(vspace_root_t *vspace, vptr_t vptr) argument
745 lookupFrame(vspace_root_t *vspace, vptr_t vptr) argument
1325 unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) argument
[all...] |