TCR_TG0
#define TCR_TG0_4KB __SHIFTIN(0,TCR_TG0) /* 4KB page size */
#define TCR_TG0_64KB __SHIFTIN(1,TCR_TG0) /* 64KB page size */
#define TCR_TG0_16KB __SHIFTIN(2,TCR_TG0) /* 16KB page size */
