PRINT_SOFTDEP_FLAGS
wk->wk_state, PRINT_SOFTDEP_FLAGS);
TYPENAME(wk->wk_type), wk->wk_state, PRINT_SOFTDEP_FLAGS,