Searched refs:invtlb_addr (Results 1 – 2 of 2) sorted by relevance
104 invtlb_addr(INVTLB_ADDR_GTRUE_OR_ASID, 0, start); in local_flush_tlb_kernel_range()135 invtlb_addr(INVTLB_ADDR_GTRUE_OR_ASID, 0, page); in local_flush_tlb_one()
101 static __always_inline void invtlb_addr(u32 op, u32 info, u64 addr) in invtlb_addr() function