pci_restore_state — Restore the saved state of a PCI device
void pci_restore_state (
)
dev
- PCI device that we're dealing with