static void kvm_update_msi_routes_all(void *private, bool global,

                                      uint32_t index, uint32_t mask)

{

    int cnt = 0;

    MSIRouteEntry *entry;

    MSIMessage msg;

    /* TODO: explicit route update */

    QLIST_FOREACH(entry, &msi_route_list, list) {

        cnt++;

        msg = pci_get_msi_message(entry->dev, entry->vector);

        kvm_irqchip_update_msi_route(kvm_state, entry->virq,

                                     msg, entry->dev);

    }

    kvm_irqchip_commit_routes(kvm_state);

    trace_kvm_x86_update_msi_routes(cnt);

}

static void kvm_update_msi_routes_all(void *private, bool global,

                                      uint32_t index, uint32_t mask)

{

    int cnt = 0;

    MSIRouteEntry *entry;

    MSIMessage msg;

    

    QLIST_FOREACH(entry, &msi_route_list, list) {

        cnt++;

        msg = pci_get_msi_message(entry->dev, entry->vector);

        kvm_irqchip_update_msi_route(kvm_state, entry->virq,

                                     msg, entry->dev);

    }

    kvm_irqchip_commit_routes(kvm_state);

    trace_kvm_x86_update_msi_routes(cnt);

}

        msg = pci_get_msi_message(entry->dev, entry->vector);         kvm_irqchip_update_msi_route(kvm_state, entry->virq,                                      msg, entry->dev);
static void FUNC_0(void *VAR_0, bool VAR_1,

                                      uint32_t VAR_2, uint32_t VAR_3)

{

    int VAR_4 = 0;

    MSIRouteEntry *entry;

    MSIMessage msg;

    

    QLIST_FOREACH(entry, &msi_route_list, list) {

        VAR_4++;

        msg = pci_get_msi_message(entry->dev, entry->vector);

        kvm_irqchip_update_msi_route(kvm_state, entry->virq,

                                     msg, entry->dev);

    }

    kvm_irqchip_commit_routes(kvm_state);

    trace_kvm_x86_update_msi_routes(VAR_4);

}

static void FUNC_0(void *VAR_0, bool VAR_1,
uint32_t VAR_2, uint32_t VAR_3)
{ int VAR_4 = 0; MSIRouteEntry *entry; MSIMessage msg; QLIST_FOREACH(entry, &msi_route_list, list) { VAR_4++; msg = pci_get_msi_message(entry->dev, entry->vector); kvm_irqchip_update_msi_route(kvm_state, entry->virq,
msg, entry->dev); } kvm_irqchip_commit_routes(kvm_state); trace_kvm_x86_update_msi_routes(VAR_4); }