Lines Matching refs:B_PRIx64
298 dprintf(" 0x%08" B_PRIx64 "-0x%08" B_PRIx64 ", length 0x%08" B_PRIx64 "\n",
306 dprintf(" 0x%08" B_PRIx64 "-0x%08" B_PRIx64 ", length 0x%08" B_PRIx64 "\n",
314 dprintf(" 0x%08" B_PRIx64 "-0x%08" B_PRIx64 ", length 0x%08" B_PRIx64 "\n",
322 dprintf(" 0x%08" B_PRIx64 "-0x%08" B_PRIx64 ", length 0x%08" B_PRIx64 "\n",
340 TRACE("Reusing TTBR1_EL1 present : %" B_PRIx64 "\n", ttbr1);
342 TRACE("Ignoring EL1 TTBR1(%" B_PRIx64") tables\n", ttbr1);