Symbol: GET_PTE
usr/src/uts/i86pc/vm/hat_pte.h
257
#define GET_PTE(ptr) (*(x86pte_t *)(ptr))
usr/src/uts/i86pc/vm/hat_pte.h
269
#define GET_PTE(ptr) (mmu.pae_hat ? get_pte64(ptr) : *(x86pte32_t *)(ptr))