device/device.c: Rename .disable to .vga_disable
This makes it clear what this function pointer is used for.
Change-Id: I2090e164edee513e05a9409d6c7d18c2cdeb8662
Signed-off-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/51009
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
diff --git a/src/device/device.c b/src/device/device.c
index 18efd5d..aa10d6f 100644
--- a/src/device/device.c
+++ b/src/device/device.c
@@ -228,9 +228,9 @@
/* If we prefer plugin VGA over chipset VGA, the chipset might
want to know. */
if (!CONFIG(ONBOARD_VGA_IS_PRIMARY) && (vga != vga_onboard) &&
- vga_onboard && vga_onboard->ops && vga_onboard->ops->disable) {
+ vga_onboard && vga_onboard->ops && vga_onboard->ops->vga_disable) {
printk(BIOS_DEBUG, "Use plugin graphics over integrated.\n");
- vga_onboard->ops->disable(vga_onboard);
+ vga_onboard->ops->vga_disable(vga_onboard);
}
if (vga) {