/* SPDX-License-Identifier: GPL-2.0-only */ #include #include #include #include #include #include #include #include #include #include #include #include #include #if CONFIG(ACPI_BERT) #if CONFIG_SMM_TSEG_SIZE == 0x0 #define BERT_REGION_MAX_SIZE 0x100000 #else /* SMM_TSEG_SIZE must stay on a boundary appropriate for its granularity */ #define BERT_REGION_MAX_SIZE CONFIG_SMM_TSEG_SIZE #endif #else #define BERT_REGION_MAX_SIZE 0 #endif void bert_reserved_region(void **start, size_t *size) { if (CONFIG(ACPI_BERT)) *start = cbmem_top(); else *start = NULL; *size = BERT_REGION_MAX_SIZE; } void *cbmem_top_chipset(void) { msr_t tom = rdmsr(TOP_MEM); if (!tom.lo) return 0; /* 8MB alignment to keep MTRR usage low */ return (void *)ALIGN_DOWN(restore_top_of_low_cacheable() - CONFIG_SMM_TSEG_SIZE - BERT_REGION_MAX_SIZE, 8*MiB); } static uintptr_t smm_region_start(void) { return (uintptr_t)cbmem_top() + BERT_REGION_MAX_SIZE; } static size_t smm_region_size(void) { return CONFIG_SMM_TSEG_SIZE; } void smm_region(uintptr_t *start, size_t *size) { static int once; *start = smm_region_start(); *size = smm_region_size(); if (!once) { clear_tvalid(); once = 1; } }