Searched refs:vae2_tlbmask (Results 1 – 1 of 1) sorted by relevance
5089 static int vae2_tlbmask(CPUARMState *env) in tlbi_aa64_vae2_write() 5243 int mask = vae2_tlbmask(env); in tlbi_aa64_get_range() 5301 int mask = vae2_tlbmask(env); in tlbi_aa64_rvae1_write() 5488 do_rvae_write(env, value, vae2_tlbmask(env), in sctlr_write() 5505 do_rvae_write(env, value, vae2_tlbmask(env), true); in mdcr_el3_write() 4931 static int vae2_tlbmask(CPUARMState *env) vae2_tlbmask() function