Symbol: cpu_get_initial_mplock
sys/platform/pc64/x86_64/machdep.c
3373
cpu_get_initial_mplock();
sys/platform/vkernel64/platform/init.c
769
cpu_get_initial_mplock();
sys/sys/mplock2.h
25
void cpu_get_initial_mplock(void);