Symbol: omap3_do_wfi_sz