1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Core ACPI (Advanced Configuration and Power Interface) support
5 * Copyright 2019 Google LLC
7 * Modified from coreboot file acpigen.h
10 #ifndef __ACPI_ACPIGEN_H
11 #define __ACPI_ACPIGEN_H
13 #include <linux/types.h>
18 * acpigen_get_current() - Get the current ACPI code output pointer
20 * @ctx: ACPI context pointer
21 * @return output pointer
23 u8 *acpigen_get_current(struct acpi_ctx *ctx);
26 * acpigen_emit_byte() - Emit a byte to the ACPI code
28 * @ctx: ACPI context pointer
29 * @data: Value to output
31 void acpigen_emit_byte(struct acpi_ctx *ctx, uint data);
34 * acpigen_emit_word() - Emit a 16-bit word to the ACPI code
36 * @ctx: ACPI context pointer
37 * @data: Value to output
39 void acpigen_emit_word(struct acpi_ctx *ctx, uint data);
42 * acpigen_emit_dword() - Emit a 32-bit 'double word' to the ACPI code
44 * @ctx: ACPI context pointer
45 * @data: Value to output
47 void acpigen_emit_dword(struct acpi_ctx *ctx, uint data);