userboot/test should use PRIx64 as one would expect from prefix 0x

Test is printing decimal value after prefix 0x.
This commit is contained in:
Toomas Soome 2019-10-24 07:49:33 +00:00
parent 9992c365b6
commit 96b2f9c996
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=354015

View File

@ -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);
}