1 // SPDX-License-Identifier: GPL-2.0+
2 #include <acpi/acpi_table.h>
3 
acpi_fill_fadt(struct acpi_fadt * fadt)4 void acpi_fill_fadt(struct acpi_fadt *fadt)
5 {
6 }
7 
acpi_fill_madt(struct acpi_madt * madt,struct acpi_ctx * ctx)8 void *acpi_fill_madt(struct acpi_madt *madt, struct acpi_ctx *ctx)
9 {
10 	return ctx->current;
11 }
12