diff options
| author | Arthur Heymans <arthur@aheymans.xyz> | 2021-02-22 18:33:08 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2021-02-24 11:28:16 +0000 |
| commit | b238caaacad022a15bb3d9b46f582dc58aac786b (patch) | |
| tree | 888d80911e6c0e357f126563ffadc2e10c26bbd9 /src/device | |
| parent | 318c3ad6745ade5caa3257df15052131c4a1235b (diff) | |
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>
Diffstat (limited to 'src/device')
| -rw-r--r-- | src/device/device.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/device/device.c b/src/device/device.c index 18efd5dcd5..aa10d6f451 100644 --- a/src/device/device.c +++ b/src/device/device.c @@ -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) { |