omap3_do_wfi
extern void omap3_do_wfi(void);
omap3_do_wfi();
omap3_do_wfi_sram = omap_sram_push(omap3_do_wfi, omap3_do_wfi_sz);