Searched refs:fault_chars (Results 1 – 1 of 1) sorted by relevance
2323 static char *fault_chars[] = { "--", "**", "##" }; variable2451 printf("%s", fault_chars[fault_type]); in memex()2587 printf("%s", fault_chars[fault_type]); in xmon_rawdump()2991 printf("%s", fault_chars[fault_type]); in prdump()3030 const char *x = fault_chars[fault_type]; in generic_inst_dump()
