sys/dev/video/vga/vga_switcheroo.c

1061

client_id(client) == VGA_SWITCHEROO_DIS ? "DIS" : "IGD",

sys/dev/video/vga/vga_switcheroo.c

1156

client_id = VGA_SWITCHEROO_DIS;

sys/dev/video/vga/vga_switcheroo.c

1164

client_id = VGA_SWITCHEROO_DIS;

sys/dev/video/vga/vga_switcheroo.c

1173

client_id = VGA_SWITCHEROO_DIS;

sys/dev/video/vga/vga_switcheroo.c

651

client_id(client) == VGA_SWITCHEROO_DIS ? "DIS" :

sys/dev/video/vga/vga_switcheroo.c

847

client_id = VGA_SWITCHEROO_DIS;

sys/dev/video/vga/vga_switcheroo.c

855

client_id = VGA_SWITCHEROO_DIS;

sys/dev/video/vga/vga_switcheroo.c

863

client_id = VGA_SWITCHEROO_DIS;