Symbol: rangelock_unlock_int
sys/kern/kern_rangelock.c
423
rangelock_unlock_int(lock, cookie);
sys/kern/kern_rangelock.c
554
rangelock_unlock_int(lock, e);