Symbol: tegra124_mp_setmaxid
sys/arm/nvidia/tegra124/tegra124_machdep.c
147
PLATFORMMETHOD(platform_mp_setmaxid, tegra124_mp_setmaxid),
sys/arm/nvidia/tegra124/tegra124_mp.h
30
void tegra124_mp_setmaxid(platform_t plat);