sfmmu_vtop_prot
static uint_t sfmmu_vtop_prot(uint_t, uint_t *);
pprot = sfmmu_vtop_prot(vprot, &tteflags);