omap3_do_wfi_sz
extern unsigned int omap3_do_wfi_sz;
omap3_do_wfi_sram = omap_sram_push(omap3_do_wfi, omap3_do_wfi_sz);