From 6c99250c3fb97ccaa03d4f0c158caffdc53ff995 Mon Sep 17 00:00:00 2001 From: Edward O'Callaghan Date: Fri, 20 Jun 2014 21:19:06 +1000 Subject: [PATCH] device/pci_device.c: Sanitize headers Change-Id: I6254f4ab767952cc8ff31bb462c7037b027442ba Signed-off-by: Edward O'Callaghan Reviewed-on: http://review.coreboot.org/6079 Tested-by: build bot (Jenkins) Reviewed-by: Patrick Georgi --- src/device/pci_device.c | 30 ++++++++---------------------- 1 file changed, 8 insertions(+), 22 deletions(-) diff --git a/src/device/pci_device.c b/src/device/pci_device.c index f262586232..8351e9ca63 100644 --- a/src/device/pci_device.c +++ b/src/device/pci_device.c @@ -24,39 +24,25 @@ * Copyright 1997 -- 1999 Martin Mares */ -#include +#include +#include +#include #include #include #include #include -#include -#include +#include +#include +#include #include #include #include -#include -#include -#if CONFIG_HYPERTRANSPORT_PLUGIN_SUPPORT -#include -#endif -#if CONFIG_PCIX_PLUGIN_SUPPORT #include -#endif -#if CONFIG_PCIEXP_PLUGIN_SUPPORT #include -#endif -#if CONFIG_AGP_PLUGIN_SUPPORT -#include -#endif -#if CONFIG_CARDBUS_PLUGIN_SUPPORT -#include -#endif -#if CONFIG_PC80_SYSTEM +#include #include -#endif -#if CONFIG_CHROMEOS +#include #include -#endif u8 pci_moving_config8(struct device *dev, unsigned int reg) {