omap5_secondary_hyp_startup
void omap5_secondary_hyp_startup(void);
startup_pa = __pa_symbol(omap5_secondary_hyp_startup);
cfg.startup_addr = omap5_secondary_hyp_startup;