974 	const char *fault_name = NULL;  in apple_dart_t8020_irq()  local
987 		fault_name = "READ FAULT";  in apple_dart_t8020_irq()
989 		fault_name = "WRITE FAULT";  in apple_dart_t8020_irq()
991 		fault_name = "NO PTE FOR IOVA";  in apple_dart_t8020_irq()
993 		fault_name = "NO PMD FOR IOVA";  in apple_dart_t8020_irq()
995 		fault_name = "NO TTBR FOR IOVA";  in apple_dart_t8020_irq()
997 		fault_name = "unknown";  in apple_dart_t8020_irq()
1002 		error, stream_idx, error_code, fault_name, addr);  in apple_dart_t8020_irq()
1011 	const char *fault_name = NULL;  in apple_dart_t8110_irq()  local
1024 		fault_name = "READ FAULT";  in apple_dart_t8110_irq()
1026 		fault_name = "WRITE FAULT";  in apple_dart_t8110_irq()
1028 		fault_name = "NO PTE FOR IOVA";  in apple_dart_t8110_irq()
1030 		fault_name = "NO PMD FOR IOVA";  in apple_dart_t8110_irq()
1032 		fault_name = "NO PGD FOR IOVA";  in apple_dart_t8110_irq()
1034 		fault_name = "NO TTBR FOR IOVA";  in apple_dart_t8110_irq()
1036 		fault_name = "unknown";  in apple_dart_t8110_irq()
1041 		error, stream_idx, error_code, fault_name, addr);  in apple_dart_t8110_irq()