ID_AA64PFR0_FP_NONE
ID_AA64PFR0_FP_NONE | ID_AA64PFR0_EL1_64 |
if ((pfr & ID_AA64PFR0_FP_MASK) == ID_AA64PFR0_FP_NONE)