TCR_TG1
const uint64_t tg1 = cpu_kh->kh_tcr1 & TCR_TG1;
#define TCR_TG1_16KB __SHIFTIN(1,TCR_TG1) /* 16KB page size */
#define TCR_TG1_4KB __SHIFTIN(2,TCR_TG1) /* 4KB page size */
#define TCR_TG1_64KB __SHIFTIN(3,TCR_TG1) /* 64KB page size */