fadt.c

Go to the documentation of this file.

/* SPDX-License-Identifier: GPL-2.0-only */
 
#include <acpi/acpi.h>
#include <cpu/x86/smm.h>
#include <soc/iomap.h>
#include <soc/pm.h>
#include "chip.h"
 
void soc_fill_fadt(acpi_fadt_t *fadt)
{
        const uint16_t pmbase = ACPI_BASE_ADDRESS;
        config_t *config = config_of_soc();
 
        fadt->pm2_cnt_blk = pmbase + PM2_CNT;
        fadt->pm_tmr_blk = pmbase + PM1_TMR;
 
        fadt->pm2_cnt_len = 1;
        fadt->pm_tmr_len = 4;
 
        fadt->iapc_boot_arch = ACPI_FADT_LEGACY_FREE;
        if (!CONFIG(NO_FADT_8042))
                fadt->iapc_boot_arch |= ACPI_FADT_8042;
 
        if (config->s0ix_enable)
                fadt->flags |= ACPI_FADT_LOW_PWR_IDLE_S0;
 
        fadt->x_pm2_cnt_blk.space_id = ACPI_ADDRESS_SPACE_IO;
        fadt->x_pm2_cnt_blk.bit_width = fadt->pm2_cnt_len * 8;
        fadt->x_pm2_cnt_blk.bit_offset = 0;
        fadt->x_pm2_cnt_blk.access_size = ACPI_ACCESS_SIZE_BYTE_ACCESS;
        fadt->x_pm2_cnt_blk.addrl = pmbase + PM2_CNT;
        fadt->x_pm2_cnt_blk.addrh = 0x0;
 
        fadt->x_pm_tmr_blk.space_id = ACPI_ADDRESS_SPACE_IO;
        fadt->x_pm_tmr_blk.bit_width = fadt->pm_tmr_len * 8;
        fadt->x_pm_tmr_blk.bit_offset = 0;
        fadt->x_pm_tmr_blk.access_size = ACPI_ACCESS_SIZE_DWORD_ACCESS;
        fadt->x_pm_tmr_blk.addrl = pmbase + PM1_TMR;
        fadt->x_pm_tmr_blk.addrh = 0x0;
}