PTE40_M
#define MMUSR40_M PTE40_M
#define PTE_M PTE40_M /* == PTE51_M */
__CTASSERT(PTE51_M == PTE40_M);