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);