a15_erratum_get_cpumask
void a15_erratum_get_cpumask(int this_cpu, struct mm_struct *mm,
a15_erratum_get_cpumask(this_cpu, mm, &mask);