PTE40_RESIDENT
#define MMUSR40_R PTE40_RESIDENT
#define PTE_VALID PTE40_RESIDENT /* == DT51_PAGE */
__CTASSERT(DT51_PAGE == PTE40_RESIDENT);