Searched refs:traptype_to_msg (Results 1 – 1 of 1) sorted by relevance
155 traptype_to_msg(u_int type) in traptype_to_msg() function435 printf("EFI RT fault %s\n", traptype_to_msg(type)); in trap()960 panic("%s", traptype_to_msg(type)); in trap_fatal()