_DOD returns 32-bit device attribute of a video device, with bit 31 set in many cases. We should print the device attribute in hex format, to fix the problem like this: video-1886 [00] video_device_enumerate: dod element[0] = -2147483392 Signed-off-by: Zhang Rui <rui.zhang@xxxxxxxxx> --- drivers/acpi/video.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Index: linux-2.6/drivers/acpi/video.c =================================================================== --- linux-2.6.orig/drivers/acpi/video.c +++ linux-2.6/drivers/acpi/video.c @@ -1882,7 +1882,7 @@ static int acpi_video_device_enumerate(s active_list[count].value.int_val = obj->integer.value; active_list[count].bind_info = NULL; - ACPI_DEBUG_PRINT((ACPI_DB_INFO, "dod element[%d] = %d\n", i, + ACPI_DEBUG_PRINT((ACPI_DB_INFO, "dod element[%d] = %x\n", i, (int)obj->integer.value)); count++; } -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
