Lines Matching defs:index
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)
358 t.ptr = (mtable + index * pte_size) | MMU_NORMAL_PT_UPDATE;
366 ((x86pte_t *)tab_addr)[index] = pteval;
368 ((x86pte32_t *)tab_addr)[index] = (x86pte32_t)pteval;
398 map_pte(paddr_t table, uint_t index)
400 return ((x86pte_t *)(uintptr_t)(table + index * pte_size));
414 int index;
429 for (index = 0; index < ptes_per_table; ++index) {
432 pteval = ((x86pte_t *)table)[index];
434 pteval = ((x86pte32_t *)table)[index];
439 tabs + l, (void *)table, index, (uint64_t)pteval, va);
448 save_index[l] = index;
450 index = -1;
459 for (i = 1; index + i < ptes_per_table; ++i) {
461 pteval = ((x86pte_t *)table)[index + i];
463 pteval = ((x86pte32_t *)table)[index + i];
473 index += i - 2;
477 if (l == 3 && index == 256) /* VA hole */
484 index = save_index[l];
576 --i; /* to revisit the new one at this index */