sys/kern/kern_clocksource.c

223

ET_HW_UNLOCK(state);

sys/kern/kern_clocksource.c

347

ET_HW_UNLOCK(state);

sys/kern/kern_clocksource.c

451

ET_HW_UNLOCK(state);

sys/kern/kern_clocksource.c

458

ET_HW_UNLOCK(state);

sys/kern/kern_clocksource.c

527

ET_HW_UNLOCK(DPCPU_PTR(timerstate));

sys/kern/kern_clocksource.c

687

ET_HW_UNLOCK(state);

sys/kern/kern_clocksource.c

780

ET_HW_UNLOCK(state);

sys/kern/kern_clocksource.c

869

ET_HW_UNLOCK(state);

sys/kern/kern_clocksource.c

874

ET_HW_UNLOCK(state);