/* SPDX-License-Identifier: GPL-2.0-only */ #include #include #include #include #include #include #include #include #include #include #include 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, 8*MiB); } static uintptr_t smm_region_start(void) { return (uintptr_t)cbmem_top(); } 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; } }