status = acpi_evaluate_integer(device->handle, "_DSS", &args, NULL); 
status = acpi_evaluate_integer(device->handle, "_DSS", &args, &ret); 
acpi_video_device_set_state(struct acpi_video_device *device, int state){	int status;	union acpi_object arg0 = { ACPI_TYPE_INTEGER };	struct acpi_object_list args = { 1, &arg0 };	ACPI_FUNCTION_TRACE("acpi_video_device_set_state");	arg0.integer.value = state;	status = acpi_evaluate_integer(device->handle, "_DSS", &args, NULL);	return_VALUE(status);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/824b558bbe2c298b165cdb54c33718994dda30bb/video.c/buggy/drivers/acpi/video.c