![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <console/console.h>
#include <acpi/acpi.h>
#include <arch/io.h>
#include <device/device.h>
#include <version.h>
#include "SBPLATFORM.h"
Go to the source code of this file.
Macros | |
#define | FADT_BOOT_ARCH (ACPI_FADT_LEGACY_DEVICES | ACPI_FADT_8042) |
Functions | |
void | acpi_fill_fadt (acpi_fadt_t *fadt) |
#define FADT_BOOT_ARCH (ACPI_FADT_LEGACY_DEVICES | ACPI_FADT_8042) |
void acpi_fill_fadt | ( | acpi_fadt_t * | fadt | ) |
Definition at line 27 of file fadt.c.
References acpi_gen_regaddr::access_size, AccWidthUint16, ACPI_ACCESS_SIZE_BYTE_ACCESS, ACPI_ACCESS_SIZE_DWORD_ACCESS, ACPI_ACCESS_SIZE_UNDEFINED, ACPI_ACCESS_SIZE_WORD_ACCESS, ACPI_ADDRESS_SPACE_IO, ACPI_FADT_32BIT_TIMER, ACPI_FADT_C1_SUPPORTED, ACPI_FADT_C2_NOT_SUPPORTED, ACPI_FADT_C3_NOT_SUPPORTED, ACPI_FADT_PCI_EXPRESS_WAKE, ACPI_FADT_REMOTE_POWER_ON, ACPI_FADT_S4_RTC_VALID, ACPI_FADT_S4_RTC_WAKE, ACPI_FADT_SLEEP_BUTTON, ACPI_FADT_WBINVD, acpi_gen_regaddr::addrh, acpi_gen_regaddr::addrl, acpi_fadt::ARM_boot_arch, BIOS_DEBUG, BIT0, BIT1, BIT2, BIT4, acpi_gen_regaddr::bit_offset, acpi_gen_regaddr::bit_width, acpi_fadt::day_alrm, acpi_fadt::duty_offset, acpi_fadt::duty_width, FADT_BOOT_ARCH, acpi_fadt::flags, acpi_fadt::gpe0_blk, acpi_fadt::gpe0_blk_len, acpi_fadt::iapc_boot_arch, acpi_fadt::mon_alrm, outl(), acpi_fadt::p_lvl2_lat, acpi_fadt::p_lvl3_lat, acpi_fadt::pm1_cnt_len, acpi_fadt::pm1_evt_len, acpi_fadt::pm1a_cnt_blk, acpi_fadt::pm1a_evt_blk, acpi_fadt::pm2_cnt_blk, acpi_fadt::pm2_cnt_len, acpi_fadt::pm_tmr_blk, acpi_fadt::pm_tmr_len, printk, acpi_fadt::res2, acpi_fadt::sci_int, acpi_gen_regaddr::space_id, val, acpi_fadt::x_gpe0_blk, acpi_fadt::x_pm1a_cnt_blk, acpi_fadt::x_pm1a_evt_blk, acpi_fadt::x_pm2_cnt_blk, and acpi_fadt::x_pm_tmr_blk.