#include "pci.h"␊ |
#include "sl.h"␊ |
␊ |
␊ |
␊ |
extern void setup_pci_devs(pci_dt_t *pci_dt);␊ |
␊ |
/*␊ |
|
static uint8_t const VOIDRET_INSTRUCTIONS[] = {0xc3};␊ |
␊ |
/* movl $0x80000003,%eax; ret */␊ |
static uint8_t const UNSUPPORTEDRET_INSTRUCTIONS[] = {0xb8, 0x03, 0x00, 0x00, 0x80, 0xc3};␊ |
static uint8_t const UNSUPPORTEDRET_INSTRUCTIONS[] = {0x48, 0xb8, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0xc3};␊ |
␊ |
EFI_SYSTEM_TABLE_32 *gST32 = NULL;␊ |
EFI_SYSTEM_TABLE_64 *gST64 = NULL;␊ |
|
*/␊ |
␊ |
/* These should be const but DT__AddProperty takes char* */␊ |
static const char const TSC_Frequency_prop[] = "TSCFrequency";␊ |
static const char const FSB_Frequency_prop[] = "FSBFrequency";␊ |
static const char const CPU_Frequency_prop[] = "CPUFrequency";␊ |
static const char TSC_Frequency_prop[] = "TSCFrequency";␊ |
static const char FSB_Frequency_prop[] = "FSBFrequency";␊ |
static const char CPU_Frequency_prop[] = "CPUFrequency";␊ |
␊ |
/*==========================================================================␊ |
* SMBIOS␊ |
|
*/␊ |
␊ |
/* These should be const but DT__AddProperty takes char* */␊ |
static const char const FIRMWARE_REVISION_PROP[] = "firmware-revision";␊ |
static const char const FIRMWARE_ABI_PROP[] = "firmware-abi";␊ |
static const char const FIRMWARE_VENDOR_PROP[] = "firmware-vendor";␊ |
static const char const FIRMWARE_ABI_32_PROP_VALUE[] = "EFI32";␊ |
static const char const FIRMWARE_ABI_64_PROP_VALUE[] = "EFI64";␊ |
static const char const SYSTEM_ID_PROP[] = "system-id";␊ |
static const char const SYSTEM_SERIAL_PROP[] = "SystemSerialNumber";␊ |
static const char const SYSTEM_TYPE_PROP[] = "system-type";␊ |
static const char const MODEL_PROP[] = "Model";␊ |
static const char const BOARDID_PROP[] = "board-id";␊ |
static const char FIRMWARE_REVISION_PROP[] = "firmware-revision";␊ |
static const char FIRMWARE_ABI_PROP[] = "firmware-abi";␊ |
static const char FIRMWARE_VENDOR_PROP[] = "firmware-vendor";␊ |
static const char FIRMWARE_ABI_32_PROP_VALUE[] = "EFI32";␊ |
static const char FIRMWARE_ABI_64_PROP_VALUE[] = "EFI64";␊ |
static const char SYSTEM_ID_PROP[] = "system-id";␊ |
static const char SYSTEM_SERIAL_PROP[] = "SystemSerialNumber";␊ |
static const char SYSTEM_TYPE_PROP[] = "system-type";␊ |
static const char MODEL_PROP[] = "Model";␊ |
static const char BOARDID_PROP[] = "board-id";␊ |
␊ |
/*␊ |
* Get an smbios option string option to convert to EFI_CHAR16 string␊ |