/** @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 |