fault_chars      2125 arch/powerpc/xmon/xmon.c static char *fault_chars[] = { "--", "**", "##" };
fault_chars      2253 arch/powerpc/xmon/xmon.c 				printf("%s", fault_chars[fault_type]);
fault_chars      2389 arch/powerpc/xmon/xmon.c 				printf("%s", fault_chars[fault_type]);
fault_chars      2812 arch/powerpc/xmon/xmon.c 				printf("%s", fault_chars[fault_type]);
fault_chars      2852 arch/powerpc/xmon/xmon.c 				const char *x = fault_chars[fault_type];