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>
This commit is contained in:
Arthur Heymans
2021-02-22 18:33:08 +01:00
committed by Patrick Georgi
parent 318c3ad674
commit b238caaaca
5 changed files with 6 additions and 6 deletions

View File

@@ -228,9 +228,9 @@ static void set_vga_bridge_bits(void)
/* 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) {