Symbol: zynq7_mp_setmaxid
sys/arm/xilinx/zy7_machdep.c
90
PLATFORMMETHOD(platform_mp_setmaxid, zynq7_mp_setmaxid),
sys/arm/xilinx/zy7_machdep.h
31
void zynq7_mp_setmaxid(platform_t);