ID_AA64ISAR0_TS_BASE
if (ID_AA64ISAR0_TS(cpu_id_aa64isar0) >= ID_AA64ISAR0_TS_BASE)
if (ID_AA64ISAR0_TS(id) >= ID_AA64ISAR0_TS_BASE) {