cpu_do_idle
extern int cpu_do_idle(void);
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle(); /* WFI selects Core Standby */
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
extern void cpu_do_idle(void);
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle();
cpu_do_idle(); \