commit 6c2df40ec00e52a5fb0c691b0e79324b9015aaa4
author Dave Airlie <airlied@redhat.com> Mon Dec 06 12:30:31 2010 +1000
committer Dave Airlie <airlied@redhat.com> Wed Jan 05 13:42:59 2011 +1000
tree 3e8b3a425304f1ae2856623359e1438a84c5e0d8
parent 17db7042b7ff77a4ae8b83ab42ec8286a9715a48

vga_switcheroo: print the IGD/DIS flag in the debugfs output.

We really want to see this so we can confirm that we pick the right one.

Signed-off-by: Dave Airlie <airlied@redhat.com>

drivers/gpu/vga/vga_switcheroo.c

diff --git a/drivers/gpu/vga/vga_switcheroo.c b/drivers/gpu/vga/vga_switcheroo.c
index c8768f3..0a8678f 100644
--- a/drivers/gpu/vga/vga_switcheroo.c
+++ b/drivers/gpu/vga/vga_switcheroo.c
@@ -174,7 +174,8 @@
 	int i;
 	mutex_lock(&vgasr_mutex);
 	for (i = 0; i < VGA_SWITCHEROO_MAX_CLIENTS; i++) {
-		seq_printf(m, "%d:%c:%s:%s\n", i,
+		seq_printf(m, "%d:%s:%c:%s:%s\n", i,
+			   vgasr_priv.clients[i].id == VGA_SWITCHEROO_DIS ? "DIS" : "IGD",
 			   vgasr_priv.clients[i].active ? '+' : ' ',
 			   vgasr_priv.clients[i].pwr_state ? "Pwr" : "Off",
 			   pci_name(vgasr_priv.clients[i].pdev));