PRIx64
printf("| -> RAX=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RAX]);
printf("| -> RCX=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RCX]);
printf("| -> RDX=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RDX]);
printf("| -> RBX=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RBX]);
printf("| -> RSP=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RSP]);
printf("| -> RBP=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RBP]);
printf("| -> RSI=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RSI]);
printf("| -> RDI=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RDI]);
printf("| -> RIP=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RIP]);
printf("| -> RFLAGS=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RFLAGS]);
printf("| -> %s: sel=0x%x base=%"PRIx64", limit=%x, "
printf("| -> MSR_EFER=%"PRIx64"\n", state->msrs[NVMM_X64_MSR_EFER]);
printf("| -> CR0=%"PRIx64"\n", state->crs[NVMM_X64_CR_CR0]);
printf("| -> CR3=%"PRIx64"\n", state->crs[NVMM_X64_CR_CR3]);
printf("| -> CR4=%"PRIx64"\n", state->crs[NVMM_X64_CR_CR4]);
printf("| -> CR8=%"PRIx64"\n", state->crs[NVMM_X64_CR_CR8]);
printf("%1$"PRIu64" (0x%1$"PRIx64")\n",
printf(" key rsc %#" PRIx64
" frame rsc %#" PRIx64,
"0x%08"PRIx64" %20s %5"PRIi64" / %5"PRIi64" "
"0x%"PRIx64"\n",
device_printf(dev, "%s features: 0x%"PRIx64"\n", msg,
sbuf_printf(&sb, "%s features: 0x%"PRIx64, msg, features);
sprintf(tmpstr, "0x%" PRIx64, pn->pn_value.pnv_unsigned);
"(%d) id: %016" PRIx64 " "
printf( " address base: 0x%" PRIx64 "\n", entry.addressBase );
printf( " address range: 0x%" PRIx64 "\n", entry.addressLength );