if (sonypi_device.model == SONYPI_DEVICE_MODEL_TYPE2) 
switch (sonypi_device.model) { case SONYPI_DEVICE_MODEL_TYPE1: sonypi_type1_dis(); break; case SONYPI_DEVICE_MODEL_TYPE2: 
static int sonypi_disable(void){	sonypi_call2(0x81, 0);	/* make sure we don't get any more events */	if (camera)		sonypi_camera_off();	/* disable ACPI mode */	if (!SONYPI_ACPI_ACTIVE && fnkeyinit)		outb(0xf1, 0xb2);	if (sonypi_device.model == SONYPI_DEVICE_MODEL_TYPE2)		sonypi_type2_dis();	else		sonypi_type1_dis();	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d2052c1676a39cae101a81f3da8a4ade8b668c88/sonypi.c/clean/drivers/char/sonypi.c