PTE51_WP
#define PG_RO PTE51_WP /* == PTE40_W */
pt_entry_t npte = (opte & ~PTE51_WP) | PTE51_CI;
__CTASSERT(PTE51_WP == PTE40_W);
tmppte = (oldpte & ~PTE51_WP) | PTE51_CI;