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

{

    return -ENOSYS;

}

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

{

    return -ENOSYS;

}

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

{

    return -ENOSYS;

}

int FUNC_0(KVMState *VAR_0, EventNotifier *VAR_1, int VAR_2)
{ return -ENOSYS; }