Home
last modified time | relevance | path

Searched defs:vptr (Results 1 – 22 of 22) sorted by relevance

/seL4-master/src/arch/arm/64/machine/
A Dcapdl.c124 static void _cap_frame_print_attrs_vptr(word_t vptr, vspace_root_t *vspace) in _cap_frame_print_attrs_vptr()
169 void cap_frame_print_attrs_vptr(word_t vptr, cap_t vspace) in cap_frame_print_attrs_vptr()
177 static void arm64_cap_pt_print_slots(pde_t *pdSlot, vptr_t vptr) in arm64_cap_pt_print_slots()
194 static void arm64_cap_pd_print_slots(pude_t *pudSlot, vptr_t vptr) in arm64_cap_pd_print_slots()
225 static void arm64_cap_pud_print_slots(void *pgdSlot_or_vspace, vptr_t vptr) in arm64_cap_pud_print_slots()
286 word_t vptr = tcb->tcbIPCBuffer; in print_ipc_buffer_slot() local
298 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(cap); in print_cap_arch() local
310 vptr_t vptr = cap_page_directory_cap_get_capPDMappedAddress(cap); in print_cap_arch() local
323 vptr_t vptr = cap_page_upper_directory_cap_get_capPUDMappedAddress(cap); in print_cap_arch() local
359 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(cap); in print_cap_arch() local
/seL4-master/src/arch/arm/32/machine/
A Dcapdl.c16 #define PT_INDEX(vptr) ((vptr >> PAGE_BITS) & MASK(PT_INDEX_BITS)) argument
17 #define PD_INDEX(vptr) (vptr >> (PAGE_BITS + PT_INDEX_BITS)) argument
221 static void cap_frame_print_attrs_vptr(word_t vptr, pde_t *pd) in cap_frame_print_attrs_vptr()
260 word_t vptr = tcb->tcbIPCBuffer; in print_ipc_buffer_slot() local
273 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(cap); in print_cap_arch() local
299 vptr_t vptr = cap_small_frame_cap_get_capFMappedAddress(cap); in print_cap_arch() local
306 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(cap); in print_cap_arch() local
/seL4-master/src/arch/x86/64/machine/
A Dcapdl.c187 static void _cap_frame_print_attrs_vptr(word_t vptr, vspace_root_t *vspace) in _cap_frame_print_attrs_vptr()
214 static void cap_frame_print_attrs_vptr(word_t vptr, cap_t vspace) in cap_frame_print_attrs_vptr()
228 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(cap); in print_cap_arch() local
240 vptr_t vptr = cap_page_directory_cap_get_capPDMappedAddress(cap); in print_cap_arch() local
252 vptr_t vptr = cap_pdpt_cap_get_capPDPTMappedAddress(cap); in print_cap_arch() local
278 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(cap); in print_cap_arch() local
376 word_t vptr = tcb->tcbIPCBuffer; in print_ipc_buffer_slot() local
381 static void x86_64_cap_pt_print_slots(pde_t *pdSlot, vptr_t vptr) in x86_64_cap_pt_print_slots()
397 static void x86_64_cap_pd_print_slots(pdpte_t *pdptSlot, vptr_t vptr) in x86_64_cap_pd_print_slots()
423 static void x86_64_cap_pdpt_print_slots(pml4e_t *pml4Slot, vptr_t vptr) in x86_64_cap_pdpt_print_slots()
/seL4-master/include/arch/arm/arch/machine/
A Dtlb.h15 static inline void invalidateTranslationSingleLocal(vptr_t vptr) in invalidateTranslationSingleLocal()
38 static inline void invalidateTranslationSingle(vptr_t vptr) in invalidateTranslationSingle()
/seL4-master/include/arch/x86/arch/kernel/
A Dtlb.h17 static inline void invalidateTranslationSingle(vptr_t vptr, word_t mask) in invalidateTranslationSingle()
23 static inline void invalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask) in invalidateTranslationSingleASID()
/seL4-master/src/arch/riscv/machine/
A Dcapdl.c35 word_t vptr = tcb->tcbIPCBuffer; in print_ipc_buffer_slot() local
114 static void cap_frame_print_attrs_vptr(word_t vptr, pte_t *lvl1pt) in cap_frame_print_attrs_vptr()
130 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(cap); in print_cap_arch() local
148 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(cap); in print_cap_arch() local
/seL4-master/include/arch/x86/arch/smp/
A Dipi_inline.h28 static inline void doRemoteInvalidateTranslationSingle(vptr_t vptr, word_t mask) in doRemoteInvalidateTranslationSingle()
33 static inline void doRemoteInvalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask) in doRemoteInvalidateTranslationSingleASID()
/seL4-master/include/arch/x86/arch/32/mode/kernel/
A Dtlb.h12 static inline void invalidateTLBEntry(vptr_t vptr, word_t mask) in invalidateTLBEntry()
/seL4-master/include/arch/x86/arch/32/mode/
A Dmachine.h39 static inline void invalidateLocalTLBEntry(vptr_t vptr) in invalidateLocalTLBEntry()
63 static inline void invalidateLocalTranslationSingle(vptr_t vptr) in invalidateLocalTranslationSingle()
69 static inline void invalidateLocalTranslationSingleASID(vptr_t vptr, asid_t asid) in invalidateLocalTranslationSingleASID()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c531 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(frame_cap); in map_it_frame_cap() local
564 vptr_t vptr = cap_pdpt_cap_get_capPDPTMappedAddress(pdpt_cap); in map_it_pdpt_cap() local
584 vptr_t vptr = cap_page_directory_cap_get_capPDMappedAddress(pd_cap); in map_it_pd_cap() local
608 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap); in map_it_pt_cap() local
652 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pd_cap()
693 vptr_t vptr; in create_it_address_space() local
989 static pml4e_t *lookupPML4Slot(vspace_root_t *pml4, vptr_t vptr) in lookupPML4Slot()
996 static lookupPDPTSlot_ret_t lookupPDPTSlot(vspace_root_t *pml4, vptr_t vptr) in lookupPDPTSlot()
1020 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *pml4, vptr_t vptr) in lookupPDSlot()
1052 static void flushPD(vspace_root_t *vspace, word_t vptr, pde_t *pd, asid_t asid) in flushPD()
[all …]
/seL4-master/include/arch/x86/arch/32/mode/smp/
A Dipi.h22 static void inline doRemoteInvalidateTLBEntry(vptr_t vptr, word_t mask) in doRemoteInvalidateTLBEntry()
/seL4-master/src/arch/x86/32/kernel/
A Dvspace.c392 static BOOT_CODE cap_t create_it_page_table_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t … in create_it_page_table_cap()
407 static BOOT_CODE cap_t create_it_page_directory_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asi… in create_it_page_directory_cap()
436 vptr_t vptr; in create_it_address_space() local
466 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, in create_it_frame_cap()
495 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid,… in create_mapped_it_frame_cap()
A Dvspace_32paging.c106 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap); in map_it_pt_cap() local
133 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(frame_cap); in map_it_frame_cap() local
156 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr) in lookupPDSlot()
/seL4-master/include/arch/arm/arch/smp/
A Dipi_inline.h25 static inline void doRemoteInvalidateTranslationSingle(vptr_t vptr, word_t mask) in doRemoteInvalidateTranslationSingle()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c310 vptr_t vptr = cap_frame_cap_get_capFMappedAddress(frame_cap); in map_it_frame_cap() local
373 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap); in map_it_pt_cap() local
410 vptr_t vptr = cap_page_directory_cap_get_capPDMappedAddress(pd_cap); in map_it_pd_cap() local
444 vptr_t vptr = cap_page_upper_directory_cap_get_capPUDMappedAddress(pud_cap); in map_it_pud_cap() local
478 vptr_t vptr; in create_it_address_space() local
623 exception_t checkValidIPCBuffer(vptr_t vptr, cap_t cap) in checkValidIPCBuffer()
646 static lookupPGDSlot_ret_t lookupPGDSlot(vspace_root_t *vspace, vptr_t vptr) in lookupPGDSlot()
657 static lookupPUDSlot_ret_t lookupPUDSlot(vspace_root_t *vspace, vptr_t vptr) in lookupPUDSlot()
690 static lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr) in lookupPDSlot()
720 static lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr) in lookupPTSlot()
[all …]
/seL4-master/src/arch/x86/kernel/
A Dept.c91 static ept_pml4e_t *CONST lookupEPTPML4Slot(ept_pml4e_t *pml4, vptr_t vptr) in lookupEPTPML4Slot()
96 static lookupEPTPDPTSlot_ret_t CONST lookupEPTPDPTSlot(ept_pml4e_t *pml4, vptr_t vptr) in lookupEPTPDPTSlot()
118 static lookupEPTPDSlot_ret_t lookupEPTPDSlot(ept_pml4e_t *pml4, vptr_t vptr) in lookupEPTPDSlot()
148 static lookupEPTPTSlot_ret_t lookupEPTPTSlot(ept_pml4e_t *pml4, vptr_t vptr) in lookupEPTPTSlot()
193 EPTPDPTMapped_ret_t EPTPDPTMapped(asid_t asid, vptr_t vptr, ept_pdpte_t *pdpt) in EPTPDPTMapped()
962 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) in unmapEPTPage()
A Dvspace.c616 lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr) in lookupPTSlot()
648 exception_t checkValidIPCBuffer(vptr_t vptr, cap_t cap) in checkValidIPCBuffer()
685 void flushTable(vspace_root_t *vspace, word_t vptr, pte_t *pt, asid_t asid) in flushTable()
707 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) in unmapPage()
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c385 vptr_t vptr = generic_frame_cap_get_capFMappedAddress(frame_cap); in map_it_frame_cap() local
420 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large) in create_it_frame_cap()
452 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap); in map_it_pt_cap() local
470 static BOOT_CODE cap_t create_it_page_table_cap(cap_t pd, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_page_table_cap()
660 exception_t checkValidIPCBuffer(vptr_t vptr, cap_t cap) in checkValidIPCBuffer()
684 pde_t *CONST lookupPDSlot(pde_t *pd, vptr_t vptr) in lookupPDSlot()
692 lookupPTSlot_ret_t lookupPTSlot(pde_t *pd, vptr_t vptr) in lookupPTSlot()
719 static pte_t *lookupPTSlot_nofail(pte_t *pt, vptr_t vptr) in lookupPTSlot_nofail()
1325 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr)
1462 void flushPage(vm_page_size_t page_size, pde_t *pd, asid_t asid, word_t vptr)
[all …]
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c169 vptr_t vptr = cap_page_table_cap_get_capPTMappedAddress(pt_cap); in map_it_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) in create_it_pt_cap()
390 lookupPTSlot_ret_t lookupPTSlot(pte_t *lvl1pt, vptr_t vptr) in lookupPTSlot()
504 void unmapPageTable(asid_t asid, vptr_t vptr, pte_t *target_pt) in unmapPageTable()
553 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) in unmapPage()
608 exception_t checkValidIPCBuffer(vptr_t vptr, cap_t cap) in checkValidIPCBuffer()
A Dboot.c28 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, boo… in create_mapped_it_frame_cap()
/seL4-master/include/arch/x86/arch/64/mode/
A Dmachine.h172 static inline void invalidateLocalTranslationSingle(vptr_t vptr) in invalidateLocalTranslationSingle()
180 static inline void invalidateLocalTranslationSingleASID(vptr_t vptr, asid_t asid) in invalidateLocalTranslationSingleASID()
/seL4-master/src/kernel/
A Dboot.c286 BOOT_CODE cap_t create_ipcbuf_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr) in create_ipcbuf_frame_cap()
297 BOOT_CODE void create_bi_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr) in create_bi_frame_cap()

Completed in 43 milliseconds