acpi: Make header #ifdefs consistent

Now that all ACPI header files are moved to src/include/acpi, this
change updates the #ifdef to __ACPI_${FILENAME}__.

BUG=b:155428745

Change-Id: Id24ee35bac318278871a26f98be7092604de01c0
Signed-off-by: Furquan Shaikh <furquan@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/40931
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: HAOUAS Elyes <ehaouas@noos.fr>

src/include/acpi/acpi.h

@@ -5,8 +5,8 @@
  * coreboot ACPI support - headers and defines.
  */
 
-#ifndef __ASM_ACPI_H
-#define __ASM_ACPI_H
+#ifndef __ACPI_ACPI_H__
+#define __ACPI_ACPI_H__
 
 /*
  * The type and enable fields are common in ACPI, but the
@@ -1049,4 +1049,4 @@ int get_acpi_table_revision(enum acpi_tables table);
 
 #endif  // !defined(__ASSEMBLER__) && !defined(__ACPI__) && !defined(__ROMC__)
 
-#endif  /* __ASM_ACPI_H */
+#endif  /* __ACPI_ACPI_H__ */

src/include/acpi/acpi_device.h

@@ -1,8 +1,8 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 /* This file is part of the coreboot project. */
 
-#ifndef __ACPI_DEVICE_H
-#define __ACPI_DEVICE_H
+#ifndef __ACPI_ACPI_DEVICE_H__
+#define __ACPI_ACPI_DEVICE_H__
 
 #include <device/i2c.h>
 #include <stdint.h>
@@ -510,4 +510,4 @@ void acpi_dp_write(struct acpi_dp *table);
  */
 void acpi_device_write_pci_dev(const struct device *dev);
 
-#endif
+#endif /* __ACPI_ACPI_DEVICE_H__ */

src/include/acpi/acpi_ivrs.h

@@ -9,8 +9,8 @@
  * I/O Virtualization Reporting Structure (IVRS)
  */
 
-#ifndef __ARCH_ACPI_IVRS_H
-#define __ARCH_ACPI_IVRS_H
+#ifndef __ACPI_ACPI_IVRS_H__
+#define __ACPI_ACPI_IVRS_H__
 
 /* I/O Virtualization Reporting Structure (IVRS) */
 #define IVHD_BLOCK_TYPE_LEGACY__FIXED		0x10
@@ -140,4 +140,4 @@ typedef struct ivrs_ivhd_special {
 	uint8_t variety;
 } __packed ivrs_ivhd_special_t;
 
-#endif
+#endif /* __ACPI_ACPI_IVRS_H__ */

src/include/acpi/acpi_pld.h

@@ -1,8 +1,8 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 /* This file is part of the coreboot project. */
 
-#ifndef __ACPI_PLD_H
-#define __ACPI_PLD_H
+#ifndef __ACPI_ACPI_PLD_H__
+#define __ACPI_ACPI_PLD_H__
 
 #include <acpi/acpi.h>
 #include <stdint.h>
@@ -116,4 +116,4 @@ int acpi_pld_fill_usb(struct acpi_pld *pld, enum acpi_upc_type type,
 /* Turn PLD structure into a 20 byte ACPI buffer */
 int acpi_pld_to_buffer(const struct acpi_pld *pld, uint8_t *buf, int buf_len);
 
-#endif
+#endif /* __ACPI_ACPI_PLD_H__ */

src/include/acpi/acpigen.h

@@ -1,8 +1,8 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 /* This file is part of the coreboot project. */
 
-#ifndef LIBACPI_H
-#define LIBACPI_H
+#ifndef __ACPI_ACPIGEN_H__
+#define __ACPI_ACPIGEN_H__
 
 #include <stdint.h>
 #include <acpi/acpi.h>
@@ -487,4 +487,4 @@ void acpigen_resource_dword(u16 res_type, u16 gen_flags, u16 type_flags,
 void acpigen_resource_qword(u16 res_type, u16 gen_flags, u16 type_flags,
 	u64 gran, u64 range_min, u64 range_max, u64 translation, u64 length);
 
-#endif
+#endif /* __ACPI_ACPIGEN_H__ */

src/include/acpi/acpigen_dsm.h

@@ -1,8 +1,8 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 /* This file is part of the coreboot project. */
 
-#ifndef __ARCH_ACPIGEN_DSM_H__
-#define __ARCH_ACPIGEN_DSM_H__
+#ifndef __ACPI_ACPIGEN_DSM_H__
+#define __ACPI_ACPIGEN_DSM_H__
 
 #include <stdint.h>
 
@@ -12,4 +12,4 @@ struct dsm_i2c_hid_config {
 
 void acpigen_write_dsm_i2c_hid(struct dsm_i2c_hid_config *config);
 
-#endif /* __ARCH_ACPIGEN_DSM_H__ */
+#endif /* __ACPI_ACPIGEN_DSM_H__ */

src/include/acpi/acpigen_ps2_keybd.h

@@ -4,8 +4,8 @@
  * SPDX-License-Identifier: GPL-2.0-or-later
  */
 
-#ifndef __ACPIGEN_PS2_KEYBD_H__
-#define __ACPIGEN_PS2_KEYBD_H__
+#ifndef __ACPI_ACPIGEN_PS2_KEYBD_H__
+#define __ACPI_ACPIGEN_PS2_KEYBD_H__
 
 #include <types.h>
 
@@ -38,4 +38,4 @@ void acpigen_ps2_keyboard_dsd(const char *scope, uint8_t num_top_row_keys,
 			      bool can_send_function_keys,
 			      bool has_numeric_keypad, bool has_scrnlock_key);
 
-#endif /* __ACPIGEN_PS2_KEYBD_H__ */
+#endif /* __ACPI_ACPIGEN_PS2_KEYBD_H__ */