> because the VPT mappings don't have G-bit set.

Yes, that's the point.   Long time ago, around mid '80, one Japanese
engineer asked me about "why does VAX have process page (==
VPT) belongs to user context?"  I could not answer that time.

Toru Nishimura/ALKYL Technology