int __init pnpacpi_init(void) 
static int __init pnpacpi_init(void) 
int __init pnpacpi_init(void){	if (acpi_disabled || pnpacpi_disabled) {		pnp_info("PnP ACPI: disabled");		return 0;	}	pnp_info("PnP ACPI init");	pnp_register_protocol(&pnpacpi_protocol);	acpi_get_devices(NULL, pnpacpi_add_device_handler, NULL, NULL);	pnp_info("PnP ACPI: found %d devices", num);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b449f63c8ce4a517cb91f237cc3d68d083ec2dd3/core.c/clean/drivers/pnp/pnpacpi/core.c