PRIx64
# define PRIxMAX PRIx64
# define PRIxLEAST64 PRIx64
# define PRIxFAST64 PRIx64
#define FSSH_B_PRIx64 PRIx64
TRACE("CSD: %" PRIx64 " %" PRIx64 "\n", csd.bits[0], csd.bits[1]);
PRIx64 " Error:%d Length:%d\n",
PRIx64 " Error:%d Length:%d\n",
panic("Couldn't convert address %#" PRIx64, address);
dprintf(" phys: 0x%08" PRIx64 "-0x%08" PRIx64
", virt: 0x%08" PRIx64 "-0x%08" PRIx64
", size = 0x%08" PRIx64 ", type: %s (%#x), attr: %#" PRIx64 "\n",
dprintf(" phys: 0x%08" PRIx64 "-0x%08" PRIx64
", virt: 0x%08" PRIx64 "-0x%08" PRIx64
", size = 0x%08" PRIx64 ", type: %s (%#x), attr: %#" PRIx64 "\n",
dprintf(" phys: 0x%08" PRIx64 "-0x%08" PRIx64
", virt: 0x%08" PRIx64 "-0x%08" PRIx64
", type: %s (%#x), attr: %#" PRIx64 "\n",
dprintf(" phys: 0x%08" PRIx64 "-0x%08" PRIx64
", virt: 0x%08" PRIx64 "-0x%08" PRIx64
", type: %s (%#x), attr: %#" PRIx64 "\n",
dprintf("arch_enter_kernel(final_pml4: 0x%08" PRIx64 ", kernelArgs: %p, "
dprintf(" phys: 0x%08" PRIx64 "-0x%08" PRIx64
", virt: 0x%08" PRIx64 "-0x%08" PRIx64
", type: %s (%#x), attr: %#" PRIx64 "\n",
dprintf(" (0x%08" PRIx32 "), child: 0x%08" PRIx64 ", parent: 0x%08" PRIx64 ", len: 0x%08" PRIx64 "\n",