Symbol: flush_micro_tlb