BOOK3E_PAGESZ_4K
tlbe->mas1 = MAS1_VALID | MAS1_TSIZE(BOOK3E_PAGESZ_4K);
gtlbe->mas1 |= MAS1_TSIZE(BOOK3E_PAGESZ_4K);
MAS1_TSIZE(BOOK3E_PAGESZ_4K);
int tsize = BOOK3E_PAGESZ_4K;
tsize = min(psize - PAGE_SHIFT + BOOK3E_PAGESZ_4K, tsize);
tsize = max(BOOK3E_PAGESZ_4K, tsize & ~1);
for (; tsize > BOOK3E_PAGESZ_4K; tsize -= 2) {
if (get_tlb_tsize(stlbe) == BOOK3E_PAGESZ_4K) {
kvmppc_e500_setup_stlbe(vcpu, gtlbe, BOOK3E_PAGESZ_4K,
mas4 |= BOOK3E_PAGESZ_4K << MAS4_TSIZED_SHIFT;
u32 mas1 = MAS1_TSIZE(BOOK3E_PAGESZ_4K);