Searched refs:M32 (Results 1 – 2 of 2) sorted by relevance
1580 r2 = vcpu_get_gr(vcpu, inst.M32.r2); in kvm_mov_to_cr()1581 VCPU(vcpu, vcr[inst.M32.cr3]) = r2; in kvm_mov_to_cr()1583 switch (inst.M32.cr3) { in kvm_mov_to_cr()
262 INST64_M32 M32; /* mov reg to cr */ member