Lines Matching defs:table
60 * Page table and memory stuff.
69 int kbm_pae_support = 0; /* PAE is 64 bit Page table entries */
70 int kbm_pge_support = 0; /* PGE is Page table global bit enabled */
80 * Initialize memory management parameters for boot time page table management
127 * Change the addressible page table window to point at a given page
175 * try update_va_mapping first - fails if page table is missing.
218 * try update_va_mapping first - fails if page table is missing.
295 * If this entry is a pointer to a lower level page table
305 * We found a boot level page table entry
328 * Destroy a boot loader page table 4K mapping.
359 * Change a boot loader page table 4K mapping.
401 * Change a boot loader page table 4K mapping to read only.
467 get_pteval(paddr_t table, uint_t index)
469 void *table_ptr = kbm_remap_window(table, 0);
478 set_pteval(paddr_t table, uint_t index, uint_t level, x86pte_t pteval)
480 void *table_ptr = kbm_remap_window(table, 0);
500 /* Remove write permission to the new page table. */
514 map_pte(paddr_t table, uint_t index)
516 void *table_ptr = kbm_remap_window(table, 0);