summaryrefslogtreecommitdiff
path: root/src/device/device.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/device/device.c')
-rw-r--r--src/device/device.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/device/device.c b/src/device/device.c
index ae0dbdb1d7..1b4255bffe 100644
--- a/src/device/device.c
+++ b/src/device/device.c
@@ -790,12 +790,12 @@ static void set_vga_bridge_bits(void)
if (!vga)
vga = vga_onboard;
- if (CONFIG_ONBOARD_VGA_IS_PRIMARY && vga_onboard)
+ if (CONFIG(ONBOARD_VGA_IS_PRIMARY) && vga_onboard)
vga = vga_onboard;
/* If we prefer plugin VGA over chipset VGA, the chipset might
want to know. */
- if (!CONFIG_ONBOARD_VGA_IS_PRIMARY && (vga != vga_onboard) &&
+ if (!CONFIG(ONBOARD_VGA_IS_PRIMARY) && (vga != vga_onboard) &&
vga_onboard && vga_onboard->ops && vga_onboard->ops->disable) {
printk(BIOS_DEBUG, "Use plugin graphics over integrated.\n");
vga_onboard->ops->disable(vga_onboard);