Lines Matching defs:table
137 * Page table and memory stuff.
297 * These are needed for page table entries. Note that this routine is
342 get_pteval(paddr_t table, uint_t index)
345 return (((x86pte_t *)(uintptr_t)table)[index]);
346 return (((x86pte32_t *)(uintptr_t)table)[index]);
351 set_pteval(paddr_t table, uint_t index, uint_t level, x86pte_t pteval)
355 maddr_t mtable = pa_to_ma(table);
363 uintptr_t tab_addr = (uintptr_t)table;
385 /* Remove write permission to the new page table. */
392 dboot_printf("new page table lvl=%d paddr=0x%lx ptp=0x%"
398 map_pte(paddr_t table, uint_t index)
400 return ((x86pte_t *)(uintptr_t)(table + index * pte_size));
417 char *table;
426 table = (char *)(uintptr_t)top_page_table;
432 pteval = ((x86pte_t *)table)[index];
434 pteval = ((x86pte32_t *)table)[index];
439 tabs + l, (void *)table, index, (uint64_t)pteval, va);
447 save_table[l] = table;
451 table = (char *)(uintptr_t)
461 pteval = ((x86pte_t *)table)[index + i];
463 pteval = ((x86pte32_t *)table)[index + i];
485 table = save_table[l];
1072 * The first available address will become the top level page table.
1404 * mappings. The page table pages are also accessible at 1:1 mapped
1517 * enable writable page table mode for the hypervisor