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