Symbol: T4_OS_TOUCH_NMI_WATCHDOG
usr/src/uts/common/io/cxgbe/common/t4_hw.c
504
T4_OS_TOUCH_NMI_WATCHDOG();
usr/src/uts/common/io/cxgbe/common/t4_hw.c
581
T4_OS_TOUCH_NMI_WATCHDOG();