21 lines
500 B
C
21 lines
500 B
C
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
||
|
|
|
||
|
|
#include <acpi/acpi.h>
|
||
|
|
#include <cf9_reset.h>
|
||
|
|
|
||
|
|
void arch_fill_fadt(acpi_fadt_t *fadt)
|
||
|
|
{
|
||
|
|
if (CONFIG(HAVE_CF9_RESET)) {
|
||
|
|
fadt->reset_reg.space_id = ACPI_ADDRESS_SPACE_IO;
|
||
|
|
fadt->reset_reg.bit_width = 8;
|
||
|
|
fadt->reset_reg.bit_offset = 0;
|
||
|
|
fadt->reset_reg.access_size = ACPI_ACCESS_SIZE_BYTE_ACCESS;
|
||
|
|
fadt->reset_reg.addrl = RST_CNT;
|
||
|
|
fadt->reset_reg.addrh = 0;
|
||
|
|
|
||
|
|
fadt->reset_value = RST_CPU | SYS_RST;
|
||
|
|
|
||
|
|
fadt->flags |= ACPI_FADT_RESET_REGISTER;
|
||
|
|
}
|
||
|
|
}
|