Searched refs:GUEST_CMD_IRQ_CDIA (Results 1 – 1 of 1) sorted by relevance
25 #define GUEST_CMD_IRQ_CDIA 10 macro47 GUEST_SYNC(GUEST_CMD_IRQ_CDIA); in guest_irq_handler()152 } else if (uc.args[1] == GUEST_CMD_IRQ_CDIA) { in test_vgic_v5_ppis()