Searched refs:GUEST_CMD_IRQ_DIEOI (Results 1 – 1 of 1) sorted by relevance
26 #define GUEST_CMD_IRQ_DIEOI 11 macro60 GUEST_SYNC(GUEST_CMD_IRQ_DIEOI); in guest_irq_handler()142 uc.args[1] == GUEST_CMD_IRQ_DIEOI) { in test_vgic_v5_ppis()144 bool level = uc.args[1] == GUEST_CMD_IRQ_DIEOI ? 0 : 1; in test_vgic_v5_ppis()