PK_check_extra_faults_t

typedef int PK_check_extra_faults_t;

Used in:

PK_BODY_check_o_t
PK_GEOM_check_o_t

PK_check_extra_faults_t has the values:

    PK_check_extra_faults_0_c       return version 0 check fault states
    PK_check_extra_faults_1_c       return version 1 check fault states
    PK_check_extra_faults_latest_c  return latest check fault states