void alpha_pci_vga_setup(PCIBus *pci_bus)

{

    switch (vga_interface_type) {

#ifdef CONFIG_SPICE

    case VGA_QXL:

        pci_create_simple(pci_bus, -1, "qxl-vga");

        return;

#endif

    case VGA_CIRRUS:

        pci_cirrus_vga_init(pci_bus);

        return;

    case VGA_VMWARE:

        if (pci_vmsvga_init(pci_bus)) {

            return;

        }

        break;

    }

    /* If VGA is enabled at all, and one of the above didn't work, then

       fallback to Standard VGA.  */

    if (vga_interface_type != VGA_NONE) {

        pci_vga_init(pci_bus);

    }

}

void alpha_pci_vga_setup(PCIBus *pci_bus)

{

    switch (vga_interface_type) {

#ifdef CONFIG_SPICE

    case VGA_QXL:

        pci_create_simple(pci_bus, -1, "qxl-vga");

        return;

#endif

    case VGA_CIRRUS:

        pci_cirrus_vga_init(pci_bus);

        return;

    case VGA_VMWARE:

        if (pci_vmsvga_init(pci_bus)) {

            return;

        }

        break;

    }

    



    if (vga_interface_type != VGA_NONE) {

        pci_vga_init(pci_bus);

    }

}

void FUNC_0(PCIBus *VAR_0)

{

    switch (vga_interface_type) {

#ifdef CONFIG_SPICE

    case VGA_QXL:

        pci_create_simple(VAR_0, -1, "qxl-vga");

        return;

#endif

    case VGA_CIRRUS:

        pci_cirrus_vga_init(VAR_0);

        return;

    case VGA_VMWARE:

        if (pci_vmsvga_init(VAR_0)) {

            return;

        }

        break;

    }

    



    if (vga_interface_type != VGA_NONE) {

        pci_vga_init(VAR_0);

    }

}

void FUNC_0(PCIBus *VAR_0)
{ switch (vga_interface_type) { #ifdef CONFIG_SPICE
case VGA_QXL:
pci_create_simple(VAR_0, -1, "qxl-vga"); return; #endif
case VGA_CIRRUS:
pci_cirrus_vga_init(VAR_0); return; case VGA_VMWARE:
if (pci_vmsvga_init(VAR_0)) { return; } break; } if (vga_interface_type != VGA_NONE) { pci_vga_init(VAR_0); } }