platform_pci_choose_state = acpi_pci_choose_state; 
static int __init pci_acpi_init(void){	int ret;	ret = register_acpi_bus_type(&pci_acpi_bus);	if (ret)		return 0;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0f64474b8f7f1f7f3af5b24ef997baa35f923509/pci-acpi.c/buggy/drivers/pci/pci-acpi.c