git: bd403d1a2db2 - stable/12 - userboot/test should use PRIx64 as one would expect from prefix 0x

The branch stable/12 has been updated by kevans:

URL: https://cgit.FreeBSD.org/src/commit/?id=bd403d1a2db2566ab0e5207185c693e2cbf90b85

commit bd403d1a2db2566ab0e5207185c693e2cbf90b85
Author:     Toomas Soome <tsoome@FreeBSD.org>
AuthorDate: 2019-10-24 07:49:33 +0000
Commit:     Kyle Evans <kevans@FreeBSD.org>
CommitDate: 2021-10-08 02:41:09 +0000

    userboot/test should use PRIx64 as one would expect from prefix 0x
    
    Test is printing decimal value after prefix 0x.
    
    (cherry picked from commit 96b2f9c996c82941b58eceaafe55eb696e8a5a4d)
---
 stand/userboot/test/test.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stand/userboot/test/test.c b/stand/userboot/test/test.c
index 4dc67548c546..301069a4d953 100644
--- a/stand/userboot/test/test.c
+++ b/stand/userboot/test/test.c
@@ -342,7 +342,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);
 }