Symbol: flush_tlb_func