Searched refs:tlbi_asid (Results 1 – 3 of 3) sorted by relevance
35 #define tlbi_asid(x) (((uintptr_t)(x) & TLBI_ASID_MASK) << TLBI_ASID_SHIFT) macro384 …return tlbi_asid(asid) | RTLBI_TG(pmap_page_shift) | rtlbi_scale(scale) | rtlbi_num(num) | rtlbi_a… in generate_rtlbi_param()
9175 vm_offset_t end = tlbi_asid(asid) | tlbi_addr(va + length);9176 va = tlbi_asid(asid) | tlbi_addr(va);
10528 vm_offset_t end = tlbi_asid(asid) | tlbi_addr(va + length);10529 va = tlbi_asid(asid) | tlbi_addr(va);