From 5869fa2e631d5d2483a4ee0445e6496120b42f02 Mon Sep 17 00:00:00 2001 From: Patrick Georgi Date: Fri, 20 Jul 2012 12:29:33 +0200 Subject: Allow shutting down internal graphics if plugin graphics are preferred VGA is this part-legacy thing that can cause trouble... For this, introduce device_t->disable(dev) method, in which a driver can take care to deregister the device if necessary. Change-Id: I3fecec07f402e530458b79eda30b2c274101fefa Signed-off-by: Patrick Georgi Reviewed-on: http://review.coreboot.org/1251 Tested-by: build bot (Jenkins) Reviewed-by: Stefan Reinauer --- src/include/device/device.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/include/device/device.h') diff --git a/src/include/device/device.h b/src/include/device/device.h index 819b789466..8cc937f94d 100644 --- a/src/include/device/device.h +++ b/src/include/device/device.h @@ -32,6 +32,7 @@ struct device_operations { void (*init)(device_t dev); unsigned int (*scan_bus)(device_t bus, unsigned int max); void (*enable)(device_t dev); + void (*disable)(device_t dev); void (*set_link)(device_t dev, unsigned int link); void (*reset_bus)(struct bus *bus); #if CONFIG_GENERATE_SMBIOS_TABLES -- cgit v1.2.3