static void enable_device(AcpiPciHpState *s, unsigned bsel, int slot)

{

    s->acpi_pcihp_pci_status[bsel].device_present |= (1U << slot);

}

static void enable_device(AcpiPciHpState *s, unsigned bsel, int slot)

{

    s->acpi_pcihp_pci_status[bsel].device_present |= (1U << slot);

}

static void FUNC_0(AcpiPciHpState *VAR_0, unsigned VAR_1, int VAR_2)

{

    VAR_0->acpi_pcihp_pci_status[VAR_1].device_present |= (1U << VAR_2);

}

static void FUNC_0(AcpiPciHpState *VAR_0, unsigned VAR_1, int VAR_2)
{ VAR_0->acpi_pcihp_pci_status[VAR_1].device_present |= (1U << VAR_2); }