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)