Symbol: srmmu_flush_whole_tlb