#define cpu_do_switch_mm(pgd,mm) processor.switch_mm(pgd,mm)
#define cpu_do_switch_mm __cpu_fn(CPU_NAME,_switch_mm)
例: CONFIG_CPU_ARM610 のみ有効だった場合 ---------------------------------------- CPU_NAME は cpu_arm6 となるので、 cpu_do_switch_mm は cpu_arm6_switch_mm に置換される。