vtr_to_nr_pre_bits
#define vtr_to_nr_apr_regs(v) (1 << (vtr_to_nr_pre_bits(v) - 5))
nr_pre_bits = vtr_to_nr_pre_bits(val);
nr_pre_bits = vtr_to_nr_pre_bits(val);
return 8 - vtr_to_nr_pre_bits(read_gicreg(ICH_VTR_EL2));