omap4460_secondary_startup
void omap4460_secondary_startup(void);
omap_pm_ops.hotplug_restart = omap4460_secondary_startup;
startup_pa = __pa_symbol(omap4460_secondary_startup);
.startup_addr = omap4460_secondary_startup,