Searched defs:asid (Results 1 – 9 of 9) sorted by relevance
28 static inline void tlbi_va_asid_nosync(vaddr_t va, uint32_t asid) in tlbi_va_asid_nosync()42 static inline void tlbi_va_asid(vaddr_t va, uint32_t asid) in tlbi_va_asid()
49 void tlbi_va_range_asid(vaddr_t va, size_t len, size_t granule, uint32_t asid) in tlbi_va_range_asid()175 void asid_free(unsigned int asid) in asid_free()
337 unsigned int asid; member569 unsigned int asid = asid_alloc(); in core_alloc_mmu_prtn() local
471 uint32_t asid = to_user_mode_ctx(tblidx.pgt->ctx)->vm_info.asid; in tblidx_tlbi_entry() local
79 unsigned int asid; member171 static unsigned long core_mmu_pgt_to_satp(unsigned long asid, in core_mmu_pgt_to_satp()596 size_t granule, uint32_t asid) in tlbi_va_range_asid()670 void asid_free(unsigned int asid) in asid_free()
121 uint32_t asid; member
132 unsigned int asid; member
169 uint32_t asid; member
881 uint32_t asid = asid_alloc(); in vm_info_init() local