Symbol: todr_lock_owned
sys/dev/clock_subr.h
102
bool todr_lock_owned(void);
sys/kern/kern_todr.c
222
KASSERT(todr_lock_owned());
sys/kern/kern_todr.c
326
KASSERT(todr_lock_owned());