get_vtb
return mulhdu(get_vtb() - boot_tb, tb_to_ns_scale) << tb_to_ns_shift;
vcpu->arch.entry_vtb = get_vtb();
to_book3s(vcpu)->vtb += get_vtb() - vcpu->arch.entry_vtb;