PRIX64
T_(PRIX64),
printf("World Wide Name: %016" PRIX64 "\n",
"ADDR 0x%016" PRIX64"", "APIC OVERRIDE",
"ID %u, GSI %u, ADDR 0x%016" PRIX64"", "I/O SAPIC",
"[FADT] %-15s: 0x%016" PRIX64"\n",
"[FADT] %-15s: 0x%016" PRIX64", "
"[FADT] %-15s: 0x%016" PRIX64"\n",
aprint_normal("ADR 0x%016" PRIX64"", di->Address);
PRINT(PRIX64, ui64);
#ifndef PRIX64
#ifndef PRIX64
defined(PRIu64) && defined(PRIx64) && defined(PRIX64))