cpu_v7_hvc_switch_mm   18 arch/arm/mm/proc-v7-bugs.c extern void cpu_v7_hvc_switch_mm(phys_addr_t pgd_phys, struct mm_struct *mm);
cpu_v7_hvc_switch_mm   92 arch/arm/mm/proc-v7-bugs.c 			cpu_do_switch_mm = cpu_v7_hvc_switch_mm;