321 						vcpu->arch.vcore->vtb);  in gs_msg_ops_vcpu_fill_info()
325 						vcpu->arch.vcore->dpdes);  in gs_msg_ops_vcpu_fill_info()
329 						vcpu->arch.vcore->lpcr);  in gs_msg_ops_vcpu_fill_info()
333 						vcpu->arch.vcore->tb_offset);  in gs_msg_ops_vcpu_fill_info()
359 			     vcpu->arch.vcore->tb_offset;  in gs_msg_ops_vcpu_fill_info()
372 			if (!vcpu->arch.vcore->arch_compat) {  in gs_msg_ops_vcpu_fill_info()
378 				arch_compat = vcpu->arch.vcore->arch_compat;  in gs_msg_ops_vcpu_fill_info()
566 			vcpu->arch.vcore->vtb = kvmppc_gse_get_u64(gse);  in gs_msg_ops_vcpu_refresh_info()
569 			vcpu->arch.vcore->dpdes = kvmppc_gse_get_u64(gse);  in gs_msg_ops_vcpu_refresh_info()
572 			vcpu->arch.vcore->lpcr = kvmppc_gse_get_u64(gse);  in gs_msg_ops_vcpu_refresh_info()
575 			vcpu->arch.vcore->tb_offset = kvmppc_gse_get_u64(gse);  in gs_msg_ops_vcpu_refresh_info()
612 				dw + vcpu->arch.vcore->tb_offset;  in gs_msg_ops_vcpu_refresh_info()
616 			vcpu->arch.vcore->arch_compat = kvmppc_gse_get_u32(gse);  in gs_msg_ops_vcpu_refresh_info()