vtcr_to_tg0_pgsize
size_t tg0_size = vtcr_to_tg0_pgsize(kvm_s2_mmu_to_kvm(mmu), mmu->tlb_vtcr);
switch (vtcr_to_tg0_pgsize(kvm, mmu->tlb_vtcr)) {