vgic_poke_irq
vgic_poke_irq(gic_fd, intid, vcpu, GICD_ISPENDR);
vgic_poke_irq(gic_fd, intid, vcpu, GICD_ISACTIVER);