arch/sandbox/lib/acpi_table.c

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