DBG_STATE_RESET
DBG_STATE_RESET, type, capmask->cm_val,
DBG_STATE_RESET, type, capstr->cs_str));
DBG_STATE_RESET, type, NULL));