KVM_E500_TLB1_SIZE
vcpu_e500->gtlb_params[1].entries = KVM_E500_TLB1_SIZE;
vcpu_e500->gtlb_params[1].ways = KVM_E500_TLB1_SIZE;
KVM_E500_TLB0_SIZE + KVM_E500_TLB1_SIZE);