Symbol: AMR_WDOG_TICKS
sys/dev/pci/amr.c
881
cv_timedwait(&thread_cv, &thread_mutex, AMR_WDOG_TICKS);
sys/dev/pci/amr.c
926
cv_timedwait(&thread_cv, &thread_mutex, AMR_WDOG_TICKS);