diff options
Diffstat (limited to 'src/drivers')
| -rw-r--r-- | src/drivers/i2c/tpm/tpm.c | 1 | ||||
| -rw-r--r-- | src/drivers/intel/fsp2_0/include/fsp/info_header.h | 1 | ||||
| -rw-r--r-- | src/drivers/tpm/tpm.c | 1 | ||||
| -rw-r--r-- | src/drivers/uart/pl011.h | 1 |
4 files changed, 0 insertions, 4 deletions
diff --git a/src/drivers/i2c/tpm/tpm.c b/src/drivers/i2c/tpm/tpm.c index 41d4577b48..78ac224eda 100644 --- a/src/drivers/i2c/tpm/tpm.c +++ b/src/drivers/i2c/tpm/tpm.c @@ -17,7 +17,6 @@ #include <commonlib/endian.h> -#include <stdint.h> #include <string.h> #include <types.h> #include <delay.h> diff --git a/src/drivers/intel/fsp2_0/include/fsp/info_header.h b/src/drivers/intel/fsp2_0/include/fsp/info_header.h index f6f66cea37..7755d2a2f9 100644 --- a/src/drivers/intel/fsp2_0/include/fsp/info_header.h +++ b/src/drivers/intel/fsp2_0/include/fsp/info_header.h @@ -3,7 +3,6 @@ #ifndef _FSP2_0_INFO_HEADER_H_ #define _FSP2_0_INFO_HEADER_H_ -#include <stdint.h> #include <types.h> #define FSP_HDR_OFFSET 0x94 diff --git a/src/drivers/tpm/tpm.c b/src/drivers/tpm/tpm.c index ad4a54c770..d3485bbec9 100644 --- a/src/drivers/tpm/tpm.c +++ b/src/drivers/tpm/tpm.c @@ -1,7 +1,6 @@ /* SPDX-License-Identifier: GPL-2.0-only */ #include <types.h> -#include <stddef.h> #include <bootstate.h> #include <security/tpm/tspi.h> diff --git a/src/drivers/uart/pl011.h b/src/drivers/uart/pl011.h index 7b573a4eda..d4d54c45f4 100644 --- a/src/drivers/uart/pl011.h +++ b/src/drivers/uart/pl011.h @@ -7,7 +7,6 @@ #ifndef __DRIVERS_UART_PL011_H #define __DRIVERS_UART_PL011_H -#include <stdint.h> #include <types.h> /* PL011 r1p5 registers */ |