ntwdt_wdog_t
ntwdt_wdog_t *wdog_state;
ntwdt_arm_vwdt(ntwdt_wdog_t *wdog_state)
ntwdt_swdt_to_awdt(ntwdt_wdog_t *wdog_state)
ntwdt_wdog_t *wdog_state;
ntwdt_wdog_t *wdog_state = ntwdt_ptr->ntwdt_wdog_state;
ntwdt_wdog_t *wdog_state = ntwdt_ptr->ntwdt_wdog_state;
ntwdt_wdog_t *wdog_state = ntwdt_ptr->ntwdt_wdog_state;
ntwdt_wdog_t *wdog_state = ntwdt_ptr->ntwdt_wdog_state;
ntwdt_wdog_t *wdog_state;
ntwdt_set_awdt_state(ntwdt_wdog_t *rstatep)
ntwdt_wdog_t *wdog_state;
ntwdt_wdog_t *ntwdt_wdog_state; /* wdog state */
static void ntwdt_swdt_to_awdt(ntwdt_wdog_t *);
static void ntwdt_arm_vwdt(ntwdt_wdog_t *wdog_state);
ntwdt_wdog_t *wdog_state = NULL;
kmem_zalloc(sizeof (ntwdt_wdog_t), KM_SLEEP);
kmem_free(wdog_state, sizeof (ntwdt_wdog_t));
sizeof (ntwdt_wdog_t));