SYS_ICC_IDR0_EL1
return !!(read_sysreg_s(SYS_ICC_IDR0_EL1) & ICC_IDR0_EL1_GCIE_LEGACY);
{ SYS_DESC(SYS_ICC_IDR0_EL1), access_gicv5_idr0 },
u64 icc_idr0 = read_sysreg_s(SYS_ICC_IDR0_EL1);
u32 icc_idr0 = read_sysreg_s(SYS_ICC_IDR0_EL1);