SYS_ICC_IAR0_EL1
case SYS_ICC_IAR0_EL1:
case SYS_ICC_IAR0_EL1:
{ SYS_DESC(SYS_ICC_IAR0_EL1), undef_access },
{ CP15_SYS_DESC(SYS_ICC_IAR0_EL1), undef_access },
GUEST_ASSERT(read_sysreg_s(SYS_ICC_IAR0_EL1) == IAR_SPURIOUS);
intid = read_sysreg_s(SYS_ICC_IAR0_EL1);