IAR_SPURIOUS
if (intid == IAR_SPURIOUS)
if (intid == IAR_SPURIOUS) {
if (intid == IAR_SPURIOUS)
GUEST_ASSERT(_intid == IAR_SPURIOUS); \
} while (intid == IAR_SPURIOUS);
GUEST_ASSERT(read_sysreg_s(SYS_ICC_IAR0_EL1) == IAR_SPURIOUS);
} while (intid == IAR_SPURIOUS);
if (intid == IAR_SPURIOUS)