kvm_read_cr4
smram->cr4 = kvm_read_cr4(vcpu);
smram->cr4 = kvm_read_cr4(vcpu);
cr4 = kvm_read_cr4(vcpu);
cr4 = kvm_read_cr4(vcpu);
svm_set_cr4(vcpu, kvm_read_cr4(vcpu));
val = kvm_read_cr4(vcpu);
old_value = kvm_read_cr4(vcpu);
!nested_host_cr4_valid(vcpu, kvm_read_cr4(vcpu))) {
vmx_set_cr4(vcpu, kvm_read_cr4(vcpu));
unsigned long old_cr4 = kvm_read_cr4(vcpu);
sregs->cr4 = kvm_read_cr4(vcpu);
*mmu_reset_needed |= kvm_read_cr4(vcpu) != sregs->cr4;
(old_cr0 || kvm_read_cr3(vcpu) || kvm_read_cr4(vcpu)));
unsigned long old_cr4 = kvm_read_cr4(vcpu);
value = kvm_read_cr4(vcpu);
res = kvm_set_cr4(vcpu, mk_cr_64(kvm_read_cr4(vcpu), val));