vga_irq_set_state  334 drivers/gpu/vga/vgaarb.c 				vga_irq_set_state(conflict, false);
vga_irq_set_state  374 drivers/gpu/vga/vgaarb.c 		vga_irq_set_state(vgadev, true);