diff options
| -rw-r--r-- | src/cpu/x86/smm/tseg_region.c | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/src/cpu/x86/smm/tseg_region.c b/src/cpu/x86/smm/tseg_region.c index 07789f4ac1..75b9988099 100644 --- a/src/cpu/x86/smm/tseg_region.c +++ b/src/cpu/x86/smm/tseg_region.c @@ -20,12 +20,6 @@ #include <stage_cache.h> #include <types.h> -void __weak smm_region(uintptr_t *start, size_t *size) -{ - *start = 0; - *size = 0; -} - /* * Subregions within SMM * +-------------------------+ @@ -76,7 +70,7 @@ int smm_subregion(int sub, uintptr_t *start, size_t *size) return 0; } -void __weak stage_cache_external_region(void **base, size_t *size) +void stage_cache_external_region(void **base, size_t *size) { if (smm_subregion(SMM_SUBREGION_CACHE, (uintptr_t *)base, size)) { printk(BIOS_ERR, "ERROR: No cache SMM subregion.\n"); |