int kvm_irqchip_add_irqfd(KVMState *s, int fd, int virq)

{

    return kvm_irqchip_assign_irqfd(s, fd, virq, true);

}

int kvm_irqchip_add_irqfd(KVMState *s, int fd, int virq)

{

    return kvm_irqchip_assign_irqfd(s, fd, virq, true);

}

int FUNC_0(KVMState *VAR_0, int VAR_1, int VAR_2)

{

    return kvm_irqchip_assign_irqfd(VAR_0, VAR_1, VAR_2, true);

}

int FUNC_0(KVMState *VAR_0, int VAR_1, int VAR_2)
{ return kvm_irqchip_assign_irqfd(VAR_0, VAR_1, VAR_2, true); }