Patch set updated for coreboot: arch/acpi.h: add #if guard to handle the absence of device_t type

[Antonello Dettori]

Antonello Dettori ([e-mail]) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/16404

-gerrit

commit ed991af4d17e7a5ea80a64562cc787c99df02369
Author: Antonello Dettori 
Date:   Fri Sep 2 09:08:01 2016 +0200

arch/acpi.h: add #if guard to handle the absence of device_t type

Avoid the inclusion of a function declaration if the argument type
    device_t is not defined.

This was not a problem until now because the
    old declaration of device_t and the new one overlapped.

Change-Id: I05a6ef1bf65bf47f3c6933073ae2d26992348813
    Signed-off-by: Antonello Dettori 
---
 src/arch/x86/include/arch/acpi.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/arch/x86/include/arch/acpi.h b/src/arch/x86/include/arch/acpi.h
index 21dae08..a30c5f1 100644
--- a/src/arch/x86/include/arch/acpi.h
+++ b/src/arch/x86/include/arch/acpi.h
@@ -606,7 +606,7 @@ void acpi_create_slit(acpi_slit_t *slit,
 void acpi_create_ivrs(acpi_ivrs_t *ivrs,
    	      unsigned long (*acpi_fill_ivrs)(acpi_ivrs_t* ivrs_struct, unsigned long current));

-#if ENV_RAMSTAGE
+#if ENV_RAMSTAGE && !defined(__SIMPLE_DEVICE__)
 void acpi_create_hpet(acpi_hpet_t *hpet);
 unsigned long acpi_write_hpet(device_t device, unsigned long start, acpi_rsdp_t *rsdp);