int kvm_irqchip_remove_irq_notifier(KVMState *s, EventNotifier *n, int virq)

{

    return kvm_irqchip_remove_irqfd(s, event_notifier_get_fd(n), virq);

}

int kvm_irqchip_remove_irq_notifier(KVMState *s, EventNotifier *n, int virq)

{

    return kvm_irqchip_remove_irqfd(s, event_notifier_get_fd(n), virq);

}

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

{

    return kvm_irqchip_remove_irqfd(VAR_0, event_notifier_get_fd(VAR_1), VAR_2);

}

int FUNC_0(KVMState *VAR_0, EventNotifier *VAR_1, int VAR_2)
{ return kvm_irqchip_remove_irqfd(VAR_0, event_notifier_get_fd(VAR_1), VAR_2); }