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