kvm_irq_write_isactiver
kvm_irq_write_isactiver(gic_fd, i, vcpu);
void kvm_irq_write_isactiver(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu);