DT51_PAGE
case DT51_PAGE:
#define PG_V DT51_PAGE /* == PTE40_RESIDENT */
__CTASSERT(DT51_PAGE == PTE40_RESIDENT);
if ((oldpte & DT51_PAGE) == 0) {