Searched refs:one_idx (Results 1 – 1 of 1) sorted by relevance
5270 ARMMMUIdx one_idx = ARM_MMU_IDX_A | ctz32(idxmap); in do_rvae_write() local5274 range = tlbi_aa64_get_range(env, one_idx, value); in do_rvae_write()5275 bits = tlbbits_for_regime(env, one_idx, range.base); in do_rvae_write()