coreboot-kgpe-d16/src/arch
Himanshu Sahdev 96ca0d93d2 arch/acpi.h: Use the predefined typedef acpi_addr_t
Use already declared typedef and modify the usage accordingly.

Change-Id: Icc8413050bfae896d78605416aaaaa6a52eb39f1
Signed-off-by: Himanshu Sahdev <himanshusah@hcl.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/36429
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
2019-11-01 11:47:51 +00:00
..
arm src/[arch-lib]: change "unsigned" to "unsigned int" 2019-10-27 21:08:39 +00:00
arm64 arm64: Uprev Arm TF and adjust to BL31 parameter changes 2019-09-14 05:01:16 +00:00
mips arch/arm,mips: Use generic PCI MMCONF 2019-09-28 21:16:23 +00:00
ppc64 arch/: Replace __BOOTBLOCK__ with ENV_BOOTBLOCK 2019-09-26 17:27:45 +00:00
riscv src: Remove unused 'include <string.h>' 2019-10-20 17:19:34 +00:00
x86 arch/acpi.h: Use the predefined typedef acpi_addr_t 2019-11-01 11:47:51 +00:00