x86pte32_t
return (((x86pte32_t *)(uintptr_t)table)[index]);
((x86pte32_t *)tab_addr)[index] = (x86pte32_t)pteval;
pteval = ((x86pte32_t *)table)[index];
pteval = ((x86pte32_t *)table)[index + i];
*((x86pte32_t *)ptep) = (x86pte32_t)pteval;
pte_ptr = (x86pte32_t *)mmu.kmap_ptes + pg_off;
((x86pte32_t *)mmu.kmap_ptes)[pg_off]));
*(x86pte32_t *)pteptr = 0;
*(x86pte32_t *)pteptr = (x86pte32_t)pte;
*(x86pte32_t *)hat_kdi_pte = pte;
*(x86pte32_t *)hat_kdi_pte = 0;
#define GET_PTE(ptr) (mmu.pae_hat ? get_pte64(ptr) : *(x86pte32_t *)(ptr))
((mmu.pae_hat ? ((x86pte32_t *)(ptr))[1] = (pte >> 32) : 0), \
*(x86pte32_t *)(ptr) = pte)
pte = ((x86pte32_t *)ptep)[i];
pte = *(x86pte32_t *)pteptr;
*(x86pte32_t *)pteptr = newpte;
*(x86pte32_t *)pteptr = pte;
pte = *(x86pte32_t *)src_va;
*((x86pte32_t *)pte_to_window) = physaddr | pt_bits;
*((x86pte32_t *)ptep) = pteval;
pte_val = *((x86pte32_t *)ptep);
*((x86pte32_t *)ptep) = 0;
old_pte = *((x86pte32_t *)ptep);
*((x86pte32_t *)ptep) = pte_val;
*((x86pte32_t *)ptep) = pte_val;
save_pte = *((x86pte32_t *)pte_to_window);
*((x86pte32_t *)pte_to_window) = save_pte;
return (((x86pte32_t *)table_ptr)[index]);
((x86pte32_t *)table_ptr)[index] = pteval;
*(x86pte32_t *)pteptr = pte;