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