summaryrefslogtreecommitdiff
path: root/src/drivers
diff options
context:
space:
mode:
authorElyes HAOUAS <ehaouas@noos.fr>2021-12-29 08:00:27 +0100
committerFelix Held <felix-coreboot@felixheld.de>2022-01-01 14:55:51 +0000
commitb23571c18efde083dd702c22ccc03dd6a08626b1 (patch)
tree5b2a9168c995333151df82b5d90afe8019c291ab /src/drivers
parentfe657614e9a5aa4393ae2ccbab7945b2598faad8 (diff)
src: Drop duplicated includes
<types.h> already provides <commonlib/bsd/cb_err.h>, <limits.h>, <stdbool.h>, <stdint.h> and <stddef.h> headers. Change-Id: I700b3f0e864ecce3f8b3b66f3bf6c8f1040acee1 Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr> Reviewed-on: https://review.coreboot.org/c/coreboot/+/60437 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Julius Werner <jwerner@chromium.org>
Diffstat (limited to 'src/drivers')
-rw-r--r--src/drivers/tpm/ppi.c1
-rw-r--r--src/drivers/tpm/ppi_stub.c1
2 files changed, 0 insertions, 2 deletions
diff --git a/src/drivers/tpm/ppi.c b/src/drivers/tpm/ppi.c
index 88dd649954..6b02d45247 100644
--- a/src/drivers/tpm/ppi.c
+++ b/src/drivers/tpm/ppi.c
@@ -1,7 +1,6 @@
/* SPDX-License-Identifier: GPL-2.0-only */
#include <types.h>
-#include <stddef.h>
#include <acpi/acpi.h>
#include <acpi/acpigen.h>
#include <acpi/acpi_device.h>
diff --git a/src/drivers/tpm/ppi_stub.c b/src/drivers/tpm/ppi_stub.c
index 1e3a7fcb27..23236ff555 100644
--- a/src/drivers/tpm/ppi_stub.c
+++ b/src/drivers/tpm/ppi_stub.c
@@ -1,7 +1,6 @@
/* SPDX-License-Identifier: GPL-2.0-only */
#include <types.h>
-#include <stddef.h>
#include <acpi/acpi.h>
#include <acpi/acpigen.h>
#include <acpi/acpi_device.h>