diff --git a/asm/misc.S b/asm/misc.S
index 8f8696f7c395..4c9eee974f93 100644
--- a/asm/misc.S
+++ b/asm/misc.S
@@ -51,8 +51,8 @@ _mcount:
 	b	__mcount_stack_check
 #endif
 
-	.global cleanup_tlb
-cleanup_tlb:
+	.global cleanup_local_tlb
+cleanup_local_tlb:
 	/* Clean the TLB */
 	li	%r3,512
 	mtctr	%r3
diff --git a/core/fast-reboot.c b/core/fast-reboot.c
index b99eb9989ca6..884441df7cc0 100644
--- a/core/fast-reboot.c
+++ b/core/fast-reboot.c
@@ -392,7 +392,7 @@ static void cleanup_cpu_state(void)
 		chiptod_wakeup_resync();
 
 		/* The TLB surely contains garbage */
-		cleanup_tlb();
+		cleanup_local_tlb();
 	}
 
 	/* Per-thread additional cleanup */
diff --git a/include/skiboot.h b/include/skiboot.h
index 394ce9387090..87d8503f529e 100644
--- a/include/skiboot.h
+++ b/include/skiboot.h
@@ -203,7 +203,7 @@ extern void disable_fast_reboot(const char *reason);
 extern void fast_reboot(void);
 extern void __noreturn __secondary_cpu_entry(void);
 extern void __noreturn load_and_boot_kernel(bool is_reboot);
-extern void cleanup_tlb(void);
+extern void cleanup_local_tlb(void);
 extern void init_shared_sprs(void);
 extern void init_replicated_sprs(void);
 extern bool start_preload_kernel(void);