gtlb0_set_base
esel += gtlb0_set_base(vcpu_e500, vcpu->arch.shared->mas2);
set_base = gtlb0_set_base(vcpu_e500, eaddr);