vga_decode_count   81 drivers/gpu/vga/vgaarb.c static int vga_count, vga_decode_count;
vga_decode_count  690 drivers/gpu/vga/vgaarb.c 	vga_decode_count++;
vga_decode_count  760 drivers/gpu/vga/vgaarb.c 		vga_decode_count--;
vga_decode_count  807 drivers/gpu/vga/vgaarb.c 		vga_decode_count--;
vga_decode_count  810 drivers/gpu/vga/vgaarb.c 		vga_decode_count++;
vga_decode_count  811 drivers/gpu/vga/vgaarb.c 	vgaarb_dbg(dev, "decoding count now is: %d\n", vga_decode_count);
vga_decode_count 1047 drivers/gpu/vga/vgaarb.c 		       vga_decode_count, pci_name(pdev),