Symbol: rk32xx_mp_setmaxid
sys/arm/rockchip/rk32xx_machdep.c
118
PLATFORMMETHOD(platform_mp_setmaxid, rk32xx_mp_setmaxid),
sys/arm/rockchip/rk32xx_mp.h
31
void rk32xx_mp_setmaxid(platform_t plat);