static void disable_device(PIIX4PMState *s, int slot)

{

    s->ar.gpe.sts[0] |= PIIX4_PCI_HOTPLUG_STATUS;

    s->pci0_status.down |= (1 << slot);

}

static void disable_device(PIIX4PMState *s, int slot)

{

    s->ar.gpe.sts[0] |= PIIX4_PCI_HOTPLUG_STATUS;

    s->pci0_status.down |= (1 << slot);

}

    s->pci0_status.down |= (1 << slot);
static void FUNC_0(PIIX4PMState *VAR_0, int VAR_1)

{

    VAR_0->ar.gpe.sts[0] |= PIIX4_PCI_HOTPLUG_STATUS;

    VAR_0->pci0_status.down |= (1 << VAR_1);

}

static void FUNC_0(PIIX4PMState *VAR_0, int VAR_1)
{ VAR_0->ar.gpe.sts[0] |= PIIX4_PCI_HOTPLUG_STATUS; VAR_0->pci0_status.down |= (1 << VAR_1); }