Name

pci_restore_state — Restore the saved state of a PCI device