cpu_idle
if (platform.cpu_idle != NULL)
mips_locoresw.lsw_cpu_idle = platform.cpu_idle;
void (*cpu_idle)(void);
platform.cpu_idle = NULL; /* not implemented yet */
platform.cpu_idle = vr_idle;
Name(cpu_idle),
cpu_idle();
#ifndef cpu_idle
void cpu_idle(void);