Searched refs:__tlbi_level (Results 1 – 3 of 3) sorted by relevance
273 __tlbi_level(vale2is, addr, level); in fixmap_clear_slot()
192 static inline void __tlbi_level(tlbi_op op, u64 addr, u32 level) in __tlbi_level() function
488 __tlbi_level(vae2is, ctx->addr, TLBI_TTL_UNKNOWN); in hyp_unmap_walker()495 __tlbi_level(vale2is, ctx->addr, ctx->level); in hyp_unmap_walker()