pci_get_powerstate
curr_ps = new_ps = pci_get_powerstate(dev);
device_printf(dev, "New state: %d\n", pci_get_powerstate(dev));
if ((error = pci_get_powerstate(pc, tag, &pmode)))
if (pci_get_powerstate(pc, tag, &c->c_powerstate) == 0)
int pci_get_powerstate(pci_chipset_tag_t, pcitag_t, pcireg_t *);