tegra124_mp_start_ap
PLATFORMMETHOD(platform_mp_start_ap, tegra124_mp_start_ap),
void tegra124_mp_start_ap(platform_t plat);