@@ -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
@@ -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 */
@@ -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);