New Defects reported by Coverity Scan for coreboot

Hi,

Please find the latest report on new defect(s) introduced to coreboot found with Coverity Scan.

1 new defect(s) introduced to coreboot found with Coverity Scan.
3 defect(s), reported by Coverity Scan earlier, were marked fixed in the recent build analyzed by Coverity Scan.

New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)

** CID 1432270:  Parse warnings  (PARSE_ERROR)
/3rdparty/arm-trusted-firmware/include/lib/libc/stdint.h: 93 in ()

________________________________________________________________________________________________________
*** CID 1432270:  Parse warnings  (PARSE_ERROR)
/3rdparty/arm-trusted-firmware/include/lib/libc/stdint.h: 93 in ()
87     #define INTMAX_C(x)  x ## LL
88     #define UINTMAX_C(x) x ## ULL
89     
90     typedef signed char int8_t;
91     typedef short int16_t;
92     typedef int int32_t;
> > > CID 1432270:  Parse warnings  (PARSE_ERROR)
> > > invalid redeclaration of type name "int64_t" (declared at line 1413 of "/home/coreboot/slave-root/workspace/coreboot-coverity/cov-int/emit/9bbe52bbb28b/config/29ec7ea376092a30b16589a913b3478c/gcc-config-0/coverity-compiler-compat.h")

93     typedef long long int64_t;
94     
95     typedef unsigned char uint8_t;
96     typedef unsigned short uint16_t;
97     typedef unsigned int uint32_t;
98     typedef unsigned long long uint64_t;

________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0...