Lines Matching refs:page
153 // Set it as block or page
185 uint64* page = NULL;
188 page = CurrentRegime.AllocatePage();
189 ttd.SetToTable(page, flags);
192 page = ttd.Dereference();
198 phys_addr + offset, remainingSize, level + 1, flags, page);
332 uint64* page = NULL;
339 page = reinterpret_cast<uint64*>(ttbr1);
348 if (page == NULL) {
349 page = CurrentRegime.AllocatePage();
350 if (page != NULL) {
351 WRITE_SPECIALREG(TTBR1_EL1, page);
353 panic("Not enough memory for kernel initial page\n");
357 sPageDirectory = page;