acpi_specific_hotkey_enabled = TRUE; 
acpi_specific_hotkey_enabled = FALSE; 
acpi_hotkey_setup(char *str){	acpi_specific_hotkey_enabled = TRUE;	return 1;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/30e332f3307e9f7718490a706e5ce99f0d3a7b26/osl.c/clean/drivers/acpi/osl.c