FAULT_COUNT_RESET
assert(type == FAULT_COUNT_INCR || type == FAULT_COUNT_RESET);
if (type == FAULT_COUNT_RESET)
(void) update_fault_count(inst, FAULT_COUNT_RESET);
(void) update_fault_count(inst, FAULT_COUNT_RESET);