Searched refs:WDT_DBG_VWDT (Results 1 – 1 of 1) sorted by relevance
504 #define WDT_DBG_VWDT 0x00000004 /* virtual WDT */ macro1272 NTWDT_DBG(WDT_DBG_VWDT, ("VWDT re-armed:" in ntwdt_ioctl()1395 NTWDT_DBG(WDT_DBG_VWDT, ("AWDT is enabled")); in ntwdt_swdt_to_awdt()1490 NTWDT_DBG(WDT_DBG_VWDT, ("recovery being done")); in ntwdt_cyclic_softint()1494 NTWDT_DBG(WDT_DBG_VWDT, ("no recovery being done")); in ntwdt_cyclic_softint()1513 NTWDT_DBG(WDT_DBG_VWDT, ("time remaining in VWDT: %d" in ntwdt_cyclic_softint()1599 NTWDT_DBG(WDT_DBG_VWDT, ("AWDT's cyclic-driven timer is started")); in ntwdt_start_timer()1624 NTWDT_DBG(WDT_DBG_VWDT, ("AWDT's cyclic-driven timer is stopped")); in ntwdt_stop_timer()1678 NTWDT_DBG(WDT_DBG_VWDT, ("VWDT expired; do a crashdump")); in ntwdt_enforce_timeout()