XICS_DUMMY
if (hirq == XICS_DUMMY)
if (irq == XICS_DUMMY || irq == XICS_IPI)
qpage[idx] = cpu_to_be32((entry & 0x80000000) | XICS_DUMMY);