__mp_lock_held
if (!__mp_lock_held(mpl, curcpu()))
int __mp_lock_held(struct __mp_lock *, struct cpu_info *);
return (__mp_lock_held(&kernel_lock, curcpu()));
if (!__mp_lock_held(mpl, curcpu()))
if (!__mp_lock_held(mpl, curcpu())) {
__mp_lock_held(&kernel_lock, p->p_cpu))
int __mp_lock_held(struct __mp_lock *, struct cpu_info *);