Symbol: cpu_switch_mm