trap_diag
trap_diag(frame, eva, "\nFatal");
static void trap_diag(struct trapframe *, vm_offset_t, const char *);
trap_diag(frame, 0, "EFI runtime");