src/arch/x86/acpi.c

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #include <acpi/acpi.h>
   4 #include <cf9_reset.h>
   5
   6 void arch_fill_fadt(acpi_fadt_t *fadt)
   7 {
   8         if (CONFIG(HAVE_CF9_RESET)) {
   9                 fadt->reset_reg.space_id = ACPI_ADDRESS_SPACE_IO;
  10                 fadt->reset_reg.bit_width = 8;
  11                 fadt->reset_reg.bit_offset = 0;
  12                 fadt->reset_reg.access_size = ACPI_ACCESS_SIZE_BYTE_ACCESS;
  13                 fadt->reset_reg.addrl = RST_CNT;
  14                 fadt->reset_reg.addrh = 0;
  15
  16                 fadt->reset_value = RST_CPU | SYS_RST;
  17
  18                 fadt->flags |= ACPI_FADT_RESET_REGISTER;
  19         }
  20 }