From 96b2f9c996c82941b58eceaafe55eb696e8a5a4d Mon Sep 17 00:00:00 2001 From: Toomas Soome Date: Thu, 24 Oct 2019 07:49:33 +0000 Subject: [PATCH] userboot/test should use PRIx64 as one would expect from prefix 0x Test is printing decimal value after prefix 0x. --- 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 5efe1d3784de..58e2a32a5289 100644 --- a/stand/userboot/test/test.c +++ b/stand/userboot/test/test.c @@ -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); }