PCI_POWERSTATE_D3
CTASSERT(ACPI_STATE_D3 == PCI_POWERSTATE_D3);
AIC_POWER_STATE_D3 = PCI_POWERSTATE_D3
if (highest == PCI_POWERSTATE_D3)
case PCI_POWERSTATE_D3:
result = PCI_POWERSTATE_D3;
pci_set_power_child(dev, child, PCI_POWERSTATE_D3);
if (ps != PCI_POWERSTATE_D0 && ps != PCI_POWERSTATE_D3)
if (pci_get_powerstate(dev) != PCI_POWERSTATE_D3)
pci_set_powerstate(dev, PCI_POWERSTATE_D3);
if (ps != PCI_POWERSTATE_D0 && ps != PCI_POWERSTATE_D3)
pci_set_powerstate(dev, PCI_POWERSTATE_D3);
if (ps != PCI_POWERSTATE_D0 && ps != PCI_POWERSTATE_D3)
if (pci_get_powerstate(dev) != PCI_POWERSTATE_D3)
pci_set_powerstate(dev, PCI_POWERSTATE_D3);