ntwdt_reprogram_wd
ntwdt_reprogram_wd(ntwdt_ptr);
ntwdt_reprogram_wd((ntwdt_state_t *)arg);
static void ntwdt_reprogram_wd(ntwdt_state_t *);