faultNo           898 src/dps8/dps8_faults.c void setG7fault (uint cpuNo, _fault faultNo)
faultNo           902 src/dps8/dps8_faults.c                cpuNo, faultNo, faultNo);
faultNo           905 src/dps8/dps8_faults.c     (void)atomic_fetch_or_explicit(&cpup->g7FaultsPreset, (1u << faultNo), memory_order_acquire);
faultNo           907 src/dps8/dps8_faults.c     cpup->g7FaultsPreset |= (1u << faultNo);
faultNo           129 src/dps8/dps8_faults.h void setG7fault (uint cpuNo, _fault faultNo);