ID_AA64ISAR0_DP_IMPL
if (ID_AA64ISAR0_DP(cpu_id_aa64isar0) >= ID_AA64ISAR0_DP_IMPL)
if (ID_AA64ISAR0_DP(id) >= ID_AA64ISAR0_DP_IMPL) {