diff options
Diffstat (limited to 'core')
-rw-r--r-- | core/fast-reboot.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/fast-reboot.c b/core/fast-reboot.c index b99eb99..884441d 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 */ |