Symbol: get_flush_tlb_info