Lines Matching refs:pageTable
69 uint32_t *pageTable = (uint32_t *)(directoryEntry & X86_PDE_ADDRESS_MASK);
71 uint32_t tableEntry = pageTable[j];
88 uint32_t *pageTable = (uint32_t *)mmu_allocate_page();
89 memset(pageTable, 0, B_PAGE_SIZE);
90 return pageTable;
149 uint32_t *pageTable = NULL;
156 pageTable = get_next_page_table();
157 sPageDirectory[pageDirectoryIndex] = (uint32_t)pageTable | kDefaultPageTableFlags;
159 pageTable = (uint32_t *)(pageDirectoryEntry & X86_PDE_ADDRESS_MASK);
163 pageTable[pageTableIndex] = physAddr | flags;