/** @file
|
Platform specific defines for constructing ACPI tables
|
|
Copyright (c) 2020, Rebecca Cran <rebecca@bsdio.com>
|
Copyright (c) 2014, Pluribus Networks, Inc.
|
Copyright (c) 2012, 2013, Red Hat, Inc.
|
Copyright (c) 2008, Intel Corporation. All rights reserved.<BR>
|
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
|
**/
|
|
#ifndef _Platform_h_INCLUDED_
|
#define _Platform_h_INCLUDED_
|
|
#include <IndustryStandard/Acpi.h>
|
#include <IndustryStandard/MemoryMappedConfigurationSpaceAccessTable.h>
|
#include <IndustryStandard/SerialPortConsoleRedirectionTable.h>
|
|
//
|
// ACPI table information used to initialize tables.
|
//
|
#define EFI_ACPI_OEM_ID 'B','H','Y','V','E',' ' // OEMID 6 bytes long
|
#define EFI_ACPI_OEM_REVISION 0x1
|
#define EFI_ACPI_CREATOR_ID SIGNATURE_32('B','H','Y','V')
|
#define EFI_ACPI_CREATOR_REVISION 0x00000001
|
|
#define INT_MODEL 0x01
|
#define SCI_INT_VECTOR 0x0009
|
#define SMI_CMD_IO_PORT 0xB2
|
#define ACPI_ENABLE 0xA0
|
#define ACPI_DISABLE 0xA1
|
#define S4BIOS_REQ 0x00
|
#define PM1a_EVT_BLK 0x00000400 /* TNXXX */
|
#define PM1b_EVT_BLK 0x00000000
|
#define PM1a_CNT_BLK 0x00000404 /* TNXXX */
|
#define PM1b_CNT_BLK 0x00000000
|
#define PM2_CNT_BLK 0x00000000
|
#define PM_TMR_BLK 0x00000408
|
#define GPE0_BLK 0x00000000
|
#define GPE1_BLK 0x00000000
|
#define PM1_EVT_LEN 0x04
|
#define PM1_CNT_LEN 0x02
|
#define PM2_CNT_LEN 0x00
|
#define PM_TM_LEN 0x04
|
#define GPE0_BLK_LEN 0x00
|
#define GPE1_BLK_LEN 0x00
|
#define GPE1_BASE 0x00
|
#define RESERVED 0x00
|
#define P_LVL2_LAT 0x0000
|
#define P_LVL3_LAT 0x0000
|
#define FLUSH_SIZE 0x0000
|
#define FLUSH_STRIDE 0x0000
|
#define DUTY_OFFSET 0x00
|
#define DUTY_WIDTH 0x00
|
#define DAY_ALRM 0x00
|
#define MON_ALRM 0x00
|
#define CENTURY 0x32
|
#define IAPC_BOOT_ARCH 0x12 /* 8042 present, disable PCIe ASPM */
|
#define FACP_FLAGS (EFI_ACPI_1_0_WBINVD | EFI_ACPI_1_0_PROC_C1 | \
|
EFI_ACPI_1_0_SLP_BUTTON | EFI_ACPI_1_0_TMR_VAL_EXT | \
|
EFI_ACPI_2_0_RESET_REG_SUP | \
|
EFI_ACPI_3_0_FORCE_APIC_PHYSICAL_DESTINATION_MODE)
|
#define FACP_RESET_REG { \
|
EFI_ACPI_3_0_SYSTEM_IO, /* Address Space ID */ \
|
8, /* Bit Width */ \
|
0, /* Bit Offset */ \
|
EFI_ACPI_3_0_BYTE, /* Byte Access */ \
|
0xCF9 /* I/O Port */ \
|
}
|
#define FACP_RESET_VAL 0x6
|
#endif
|
