program_hpx_type0  666 drivers/pci/pci-acpi.c 			program_hpx_type0(dev, &hpx0);
program_hpx_type0  734 drivers/pci/pci-acpi.c 	program_hpx_type0(dev, &hpx0);