DBG("ACPI bus type %s unregistered\n", type->bus->name); 
printk(KERN_INFO PREFIX "ACPI bus type %s unregistered\n", type->bus->name); 
int unregister_acpi_bus_type(struct acpi_bus_type *type){	if (acpi_disabled)		return 0;	if (type) {		down_write(&bus_type_sem);		list_del_init(&type->list);		up_write(&bus_type_sem);		DBG("ACPI bus type %s unregistered\n", type->bus->name);		return 0;	}	return -ENODEV;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ef7b06cd905424aea7c31f27fef622e84e75e650/glue.c/clean/drivers/acpi/glue.c