Lines Matching refs:table
30 // Allocate system page table
35 PANIC("Cannot allocate system page table");
142 // Free 3rd level page table page
147 // Free 2nd level page table page
152 // Free page table page
191 * Allocates and initializes a page table.
223 PageTable *table = space->root;
232 pte = table->entries[i];
237 table = (PageTable *)DMPA2VA(pte & PGNUMMASK);
239 pte = table->entries[j];
245 table = (PageTable *)DMPA2VA(pte & PGNUMMASK);
247 pte = table->entries[k];
250 entry = &table->entries[k];
257 table = (PageTable *)DMPA2VA(pte & PGNUMMASK);
260 entry = &table->entries[l];
268 * Lookup a virtual address in a page table and return a pointer to the page
281 PageTable *table = space->root;
291 pte = table->entries[i];
298 table->entries[i] = pte;
300 table = (PageTable *)DMPA2VA(pte & PGNUMMASK);
302 pte = table->entries[j];
305 *entry = &table->entries[j];
314 table->entries[j] = pte;
316 table = (PageTable *)DMPA2VA(pte & PGNUMMASK);
318 pte = table->entries[k];
321 *entry = &table->entries[k];
330 table->entries[k] = pte;
332 table = (PageTable *)DMPA2VA(pte & PGNUMMASK);
336 *entry = &table->entries[l];
451 * Lookup a kernel virtual address in a page table and return a pointer to the