hdbgFault 50 src/dps8/hdbg.h void hdbgFault (_fault faultNumber, _fault_subtype subFault, hdbgFault 112 src/dps8/hdbg.h # define HDBGFault(n, s, m, c) hdbgFault(n, s, m, c)