bcm2836_mp_setmaxid
PLATFORMMETHOD(platform_mp_setmaxid, bcm2836_mp_setmaxid),
void bcm2836_mp_setmaxid(platform_t plat);