#define cpu_do_switch_mm(pgd,mm) processor.switch_mm(pgd,mm)
#define cpu_do_switch_mm __cpu_fn(CPU_NAME,_switch_mm)