void kvm_irqchip_commit_routes(KVMState *s)
{
    int ret;
    s->irq_routes->flags = 0;
    trace_kvm_irqchip_commit_routes();
    ret = kvm_vm_ioctl(s, KVM_SET_GSI_ROUTING, s->irq_routes);
    assert(ret == 0);
void kvm_irqchip_commit_routes(KVMState *s)
{
    int ret;
    s->irq_routes->flags = 0;
    trace_kvm_irqchip_commit_routes();
    ret = kvm_vm_ioctl(s, KVM_SET_GSI_ROUTING, s->irq_routes);
    assert(ret == 0);
void FUNC_0(KVMState *VAR_0)
{
    int VAR_1;
    VAR_0->irq_routes->flags = 0;
    trace_kvm_irqchip_commit_routes();
    VAR_1 = kvm_vm_ioctl(VAR_0, KVM_SET_GSI_ROUTING, VAR_0->irq_routes);
    assert(VAR_1 == 0);
void FUNC_0(KVMState *VAR_0)
{ int VAR_1; VAR_0->irq_routes->flags = 0; trace_kvm_irqchip_commit_routes(); VAR_1 = kvm_vm_ioctl(VAR_0, KVM_SET_GSI_ROUTING, VAR_0->irq_routes); assert(VAR_1 == 0);