Symbol: flush_tlb_type_t