spec_devid         30 drivers/power/reset/piix4-poweroff.c 	int spec_devid;
spec_devid         53 drivers/power/reset/piix4-poweroff.c 	spec_devid = PCI_DEVID(0, PCI_DEVFN(0x1f, 0x7));
spec_devid         54 drivers/power/reset/piix4-poweroff.c 	pci_bus_write_config_dword(pm_dev->bus, spec_devid, 0,