svn commit: r354015 - head/stand/userboot/test

[Toomas Soome]

Author: tsoome
Date: Thu Oct 24 07:49:33 2019
New Revision: 354015
URL: https://svnweb.freebsd.org/changeset/base/354015

Log:
  userboot/test should use PRIx64 as one would expect from prefix 0x
  
  Test is printing decimal value after prefix 0x.

Modified:
  head/stand/userboot/test/test.c

Modified: head/stand/userboot/test/test.c
==============================================================================
--- head/stand/userboot/test/test.c	Thu Oct 24 06:58:17 2019	(r354014)
+++ head/stand/userboot/test/test.c	Thu Oct 24 07:49:33 2019	(r354015)
@@ -336,7 +336,7 @@ test_setgdt(void *arg, uint64_t v, size_t sz)
 void
 test_exec(void *arg, uint64_t pc)
 {
-	printf("Execute at 0x%"PRIu64"\n", pc);
+	printf("Execute at 0x%"PRIx64"\n", pc);
 	test_exit(arg, 0);
 }