PPROT_S
pte |= PPROT_S;
error = pmap_enk4m(pm, va, prot, flags, pg, pteproto | PPROT_S);
pteproto |= SRMMU_TEPTE | PPROT_S;