TCR_GET_WP
#define TCR_GET_WP(tcr) ((((tcr) & 0xC0000000) >> 30) | \
#define TCR_GET_WP(tcr) (((tcr) & 0xC0000000) >> 30)