Renaming this "pte" more closely represents what's being shared.
Also, previously we were inconsistent about including the vmap or not;
now we use the same format everywhere.