static void pci_vpb_unmap(SysBusDevice *dev, target_phys_addr_t base)

{

    PCIVPBState *s = (PCIVPBState *)dev;

    /* Selfconfig area.  */

    memory_region_del_subregion(get_system_memory(), &s->mem_config);

    /* Normal config area.  */

    memory_region_del_subregion(get_system_memory(), &s->mem_config2);



    if (s->realview) {

        /* IO memory area.  */

        memory_region_del_subregion(get_system_memory(), &s->isa);

    }

}

static void pci_vpb_unmap(SysBusDevice *dev, target_phys_addr_t base)

{

    PCIVPBState *s = (PCIVPBState *)dev;

    

    memory_region_del_subregion(get_system_memory(), &s->mem_config);

    

    memory_region_del_subregion(get_system_memory(), &s->mem_config2);



    if (s->realview) {

        

        memory_region_del_subregion(get_system_memory(), &s->isa);

    }

}

static void FUNC_0(SysBusDevice *VAR_0, target_phys_addr_t VAR_1)

{

    PCIVPBState *s = (PCIVPBState *)VAR_0;

    

    memory_region_del_subregion(get_system_memory(), &s->mem_config);

    

    memory_region_del_subregion(get_system_memory(), &s->mem_config2);



    if (s->realview) {

        

        memory_region_del_subregion(get_system_memory(), &s->isa);

    }

}

static void FUNC_0(SysBusDevice *VAR_0, target_phys_addr_t VAR_1)
{ PCIVPBState *s = (PCIVPBState *)VAR_0; memory_region_del_subregion(get_system_memory(), &s->mem_config); memory_region_del_subregion(get_system_memory(), &s->mem_config2); if (s->realview) { memory_region_del_subregion(get_system_memory(), &s->isa); } }