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");