PTE40_W
#define TTR40_W PTE40_W
#define MMUSR40_W PTE40_W
#define PTE_WP PTE40_W /* == PTE51_WP */
__CTASSERT(PTE51_WP == PTE40_W);