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