Symbol: ntwdt_chk_watchdog_support
usr/src/uts/sun4v/io/ntwdt.c
140
static int ntwdt_chk_watchdog_support();
usr/src/uts/sun4v/io/ntwdt.c
255
if (ntwdt_chk_watchdog_support() != 0) {