Home
last modified time | relevance | path

Searched defs:vaddr (Results 1 – 25 of 27) sorted by relevance

12

/seL4-master/src/arch/arm/armv/armv7-a/
A Dtlb.c11 void lockTLBEntry(vptr_t vaddr) in lockTLBEntry()
18 void lockTLBEntry(vptr_t vaddr) in lockTLBEntry()
/seL4-master/include/arch/arm/arch/64/mode/
A Dmachine.h280 static inline void cleanByVA(vptr_t vaddr, paddr_t paddr) in cleanByVA()
286 static inline void cleanByVA_PoU(vptr_t vaddr, paddr_t paddr) in cleanByVA_PoU()
292 static inline void invalidateByVA(vptr_t vaddr, paddr_t paddr) in invalidateByVA()
298 static inline void invalidateByVA_I(vptr_t vaddr, paddr_t paddr) in invalidateByVA_I()
315 static inline void cleanInvalByVA(vptr_t vaddr, paddr_t paddr) in cleanInvalByVA()
321 static inline void branchFlush(vptr_t vaddr, paddr_t paddr) in branchFlush()
A Dmachine_pl2.h38 static inline paddr_t addressTranslateS1CPR(vptr_t vaddr) in addressTranslateS1CPR()
/seL4-master/include/arch/x86/arch/64/mode/kernel/
A Dtlb.h29 static inline void invalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) in invalidatePCID()
/seL4-master/src/arch/x86/kernel/
A Dept.c223 void unmapEPTPDPT(asid_t asid, vptr_t vaddr, ept_pdpte_t *pdpt) in unmapEPTPDPT()
268 word_t vaddr; in decodeX86EPTPDPTInvocation() local
384 EPTPageDirectoryMapped_ret_t EPTPageDirectoryMapped(asid_t asid, vptr_t vaddr, ept_pde_t *pd) in EPTPageDirectoryMapped()
420 void unmapEPTPageDirectory(asid_t asid, vptr_t vaddr, ept_pde_t *pd) in unmapEPTPageDirectory()
471 word_t vaddr; in decodeX86EPTPDInvocation() local
572 EPTPageTableMapped_ret_t EPTPageTableMapped(asid_t asid, vptr_t vaddr, ept_pte_t *pt) in EPTPageTableMapped()
608 void unmapEPTPageTable(asid_t asid, vptr_t vaddr, ept_pte_t *pt) in unmapEPTPageTable()
658 word_t vaddr; in decodeX86EPTPTInvocation() local
791 word_t vaddr; in decodeX86EPTPageMap() local
A Dvspace.c759 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) in unmapPageTable()
863 static create_mapping_pte_return_t createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_righ… in createSafeMappingEntries_PTE()
892 static create_mapping_pde_return_t createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_righ… in createSafeMappingEntries_PDE()
934 word_t vaddr; in decodeX86FrameInvocation() local
1138 word_t vaddr; in decodeX86PageTableInvocation() local
/seL4-master/include/arch/x86/arch/64/mode/smp/
A Dipi.h24 static inline void doRemoteInvalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) in doRemoteInvalidatePCID()
/seL4-master/include/machine/
A Ddebug.h53 word_t vaddr, type, size, rw; member
/seL4-master/include/arch/arm/arch/32/mode/
A Dmachine.h347 static inline void cleanByVA(vptr_t vaddr, paddr_t paddr) in cleanByVA()
363 static inline void cleanByVA_PoU(vptr_t vaddr, paddr_t paddr) in cleanByVA_PoU()
386 static inline void invalidateByVA(vptr_t vaddr, paddr_t paddr) in invalidateByVA()
399 static inline void invalidateByVA_I(vptr_t vaddr, paddr_t paddr) in invalidateByVA_I()
422 static inline void cleanInvalByVA(vptr_t vaddr, paddr_t paddr) in cleanInvalByVA()
437 static inline void branchFlush(vptr_t vaddr, paddr_t paddr) in branchFlush()
A Dmachine_pl2.h121 static inline paddr_t PURE addressTranslateS1CPR(vptr_t vaddr) in addressTranslateS1CPR()
195 static inline paddr_t addressTranslateS1CPR(vptr_t vaddr) in addressTranslateS1CPR()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c50 uint64_t vaddr; in map_kernel_window() local
1074 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd) in unmapPageDirectory()
1142 word_t vaddr; in decodeX64PageDirectoryInvocation() local
1249 static void unmapPDPT(asid_t asid, vptr_t vaddr, pdpte_t *pdpt) in unmapPDPT()
1305 word_t vaddr; in decodeX64PDPTInvocation() local
1430 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) in modeUnmapPage()
1476 static create_mapping_pdpte_return_t createSafeMappingEntries_PDPTE(paddr_t base, word_t vaddr, vm_… in createSafeMappingEntries_PDPTE()
1507 … vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr) in decodeX86ModeMapPage()
1537 static readWordFromVSpace_ret_t readWordFromVSpace(vspace_root_t *vspace, word_t vaddr) in readWordFromVSpace()
/seL4-master/src/arch/x86/32/kernel/
A Dvspace_32paging.c218 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd) in unmapPageDirectory()
254 word_t vaddr; in decodeIA32PageDirectoryInvocation() local
314 static readWordFromVSpace_ret_t readWordFromVSpace(vspace_root_t *vspace, word_t vaddr) in readWordFromVSpace()
A Dvspace.c646 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) in modeUnmapPage()
653 … vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr) in decodeX86ModeMapPage()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c240 pptr_t vaddr; in map_kernel_window() local
1049 pude_t *pageDirectoryMapped(asid_t asid, vptr_t vaddr, pde_t *pd) in pageDirectoryMapped()
1243 static inline void invalidateTLBByASIDVA(asid_t asid, vptr_t vaddr) in invalidateTLBByASIDVA()
1265 pde_t *pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt) in pageTableMapped()
1304 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd) in unmapPageDirectory()
1317 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) in unmapPageTable()
1799 vptr_t vaddr; in decodeARMPageUpperDirectoryInvocation() local
1886 vptr_t vaddr; in decodeARMPageDirectoryInvocation() local
1978 vptr_t vaddr; in decodeARMPageTableInvocation() local
2068 vptr_t vaddr; in decodeARMFrameInvocation() local
[all …]
/seL4-master/src/arch/x86/machine/
A Dhardware.c69 void flushCacheRange(void *vaddr, uint32_t size_bits) in flushCacheRange()
A Dbreakpoint.c368 static void setBpVaddrContext(tcb_t *t, uint16_t bp_num, word_t vaddr) in setBpVaddrContext()
403 uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) in setBreakpoint()
553 word_t vaddr, reason; member
/seL4-master/include/arch/x86/arch/machine/
A Dhardware.h98 static inline void flushCacheLine(volatile void *vaddr) in flushCacheLine()
A Ddebug.h131 uint16_t bp_num, word_t vaddr, word_t types, in Arch_decodeSetBreakpoint()
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c155 BOOT_CODE void map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights, vm_attributes_t… in map_kernel_frame()
729 static resolve_ret_t resolveVAddr(pde_t *pd, vptr_t vaddr) in resolveVAddr()
1051 pde_t *pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt) in pageTableMapped()
1177 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) in unmapPageTable()
1563 (paddr_t base, word_t vaddr, vm_page_size_t frameSize,
1663 (paddr_t base, word_t vaddr, vm_page_size_t frameSize,
1742 static inline vptr_t pageBase(vptr_t vaddr, vm_page_size_t size)
2108 word_t vaddr, pdIndex; local
2233 word_t vaddr, vtop, w_rightsMask; local
2402 vptr_t vaddr; local
[all …]
/seL4-master/include/arch/arm/arch/machine/
A Ddebug.h182 uint16_t bp_num, word_t vaddr, word_t type, in Arch_decodeSetBreakpoint()
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c86 BOOT_CODE void map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights) in map_kernel_frame()
720 word_t vaddr = getSyscallArg(0, buffer); in decodeRISCVPageTableInvocation() local
805 word_t vaddr = getSyscallArg(0, buffer); in decodeRISCVFrameInvocation() local
/seL4-master/src/arch/arm/object/
A Dsmmu.c388 void invalidateSMMUTLBByASIDVA(asid_t asid, vptr_t vaddr, word_t bind_cb) in invalidateSMMUTLBByASIDVA()
/seL4-master/include/arch/x86/arch/64/mode/
A Dmachine.h144 static inline void invalidateLocalPCID(word_t type, void *vaddr, asid_t asid) in invalidateLocalPCID()
/seL4-master/src/arch/arm/machine/
A Ddebug.c531 word_t vaddr, word_t type, word_t size, word_t rw) in setBreakpoint()
931 static int getAndResetActiveBreakpoint(word_t vaddr, word_t reason) in getAndResetActiveBreakpoint()
/seL4-master/src/drivers/smmu/
A Dsmmuv2.c601 void smmu_tlb_invalidate_cb_va(int cb, asid_t asid, vptr_t vaddr) in smmu_tlb_invalidate_cb_va()

Completed in 68 milliseconds

12