io_norm_cnt        71 drivers/gpu/vga/vgaarb.c 	unsigned int io_norm_cnt;	/* normal IO count */
io_norm_cnt       384 drivers/gpu/vga/vgaarb.c 		vgadev->io_norm_cnt++;
io_norm_cnt       401 drivers/gpu/vga/vgaarb.c 	if ((rsrc & VGA_RSRC_NORMAL_IO) && vgadev->io_norm_cnt > 0) {
io_norm_cnt       402 drivers/gpu/vga/vgaarb.c 		vgadev->io_norm_cnt--;