Symbol: pc_mprod_leave
sys/kern/kern_lock.c
736
void pc_mprod_leave(struct pc_lock *, unsigned int)
sys/sys/pclock.h
40
void pc_mprod_leave(struct pc_lock *, unsigned int);