Symbol: rm_cleanIPI
sys/kern/kern_rmlock.c
560
rm_cleanIPI,
sys/kern/kern_rmlock.c
565
rm_cleanIPI(rm);