id_aa64pfr0_32bit_el0
id_aa64pfr0_32bit_el0(pfr0);
if (id_aa64pfr0_32bit_el0(info->reg_id_aa64pfr0))
if (id_aa64pfr0_32bit_el0(boot->reg_id_aa64pfr0))
if (id_aa64pfr0_32bit_el0(info->reg_id_aa64pfr0)) {
if (id_aa64pfr0_32bit_el0(read_cpuid(ID_AA64PFR0_EL1)))
if (id_aa64pfr0_32bit_el0(info->reg_id_aa64pfr0)) {
if (id_aa64pfr0_32bit_el0(info->reg_id_aa64pfr0))