Re: port-amd64/53789: amd64-install.img boot hangs on HP Compaq 8200 Elite

[Martin Husemann <martin%duskware.de@localhost>]

Maybe we should do this?

Martin

Index: subr_prf.c
===================================================================
RCS file: /cvsroot/src/sys/kern/subr_prf.c,v
retrieving revision 1.176
diff -u -p -r1.176 subr_prf.c
--- subr_prf.c	14 Jan 2019 19:21:54 -0000	1.176
+++ subr_prf.c	14 Jan 2019 19:26:49 -0000
@@ -807,11 +807,12 @@ void
 aprint_normal_dev(device_t dv, const char *fmt, ...)
 {
 	va_list ap;
+	const char *dvname = dv == NULL? "<NULL>" : device_xname(dv);
 
 	KASSERT(dv != NULL);
 
 	va_start(ap, fmt);
-	aprint_normal_internal(device_xname(dv), fmt, ap);
+	aprint_normal_internal(dvname, fmt, ap);
 	va_end(ap);
 }