Lines Matching defs:KPTE
64 #define KPTE(x) ((ulong)((((ulong)(x)) << 32) | 0x1101))
439 first[0] = KPTE(PFN(second));
440 first[1] = KPTE(PFN(first)); /* Region 3 */
443 second[SECOND(0x10000000)] = KPTE(PFN(third_rpb));
447 second[SECOND(0x20000000) + i] = KPTE(PFN(third_kernel) + i);
451 second[SECOND(0x40000000)] = KPTE(PFN(second));
470 second[SECOND(DATABASE_BASE)] = KPTE(PFN(dbPage));
473 dbPage[THIRD(i)] = KPTE(PFN(db));
479 third_rpb[i] = KPTE(PFN(rpb) + i);
483 third_rpb[HWRPB_PAGES + i] = KPTE(PFN(mdt_bitmap) + i);
488 third_rpb[HWRPB_PAGES + mdt_bitmap_pages + i] = KPTE(i);
510 dbPage[THIRD(KSTACK_REGION_VA + PAGE_SIZE)] = KPTE(PFN(ptr)); /* Kernel Stack Page */