Searched refs:faultno (Results 1 – 2 of 2) sorted by relevance
1715 proc_prettyfprint_fault (FILE *file, int faultno, int verbose) in proc_prettyfprint_fault() argument1720 if (faultno == fault_table[i].value) in proc_prettyfprint_fault()1727 faultno, verbose ? '\n' : ' '); in proc_prettyfprint_fault()1731 proc_prettyprint_fault (int faultno, int verbose) in proc_prettyprint_fault() argument1733 proc_prettyfprint_fault (stdout, faultno, verbose); in proc_prettyprint_fault()
50 extern void proc_prettyfprint_fault (FILE *file, int faultno, int verbose);