broadcast_tlb_mm_a15_erratum
broadcast_tlb_mm_a15_erratum(mm);
broadcast_tlb_mm_a15_erratum(vma->vm_mm);