arch/x86/include/asm/kvm_host.h

208

VCPU_REG_ERAPS = VCPU_REG_CR3,

arch/x86/kvm/regs.h

319

if (!kvm_register_is_available(vcpu, VCPU_REG_CR3))

arch/x86/kvm/regs.h

320

kvm_x86_call(cache_reg)(vcpu, VCPU_REG_CR3);

arch/x86/kvm/vmx/nested.c

1257

kvm_register_mark_dirty(vcpu, VCPU_REG_CR3);

arch/x86/kvm/vmx/nested.c

4990

kvm_register_mark_available(vcpu, VCPU_REG_CR3);

arch/x86/kvm/vmx/vmx.c

2645

case VCPU_REG_CR3:

arch/x86/kvm/vmx/vmx.c

3469

if (!kvm_register_is_available(vcpu, VCPU_REG_CR3))

arch/x86/kvm/vmx/vmx.c

3470

vmx_cache_reg(vcpu, VCPU_REG_CR3);

arch/x86/kvm/vmx/vmx.c

3507

kvm_register_mark_dirty(vcpu, VCPU_REG_CR3);

arch/x86/kvm/vmx/vmx.c

3536

else if (kvm_register_is_dirty(vcpu, VCPU_REG_CR3))

arch/x86/kvm/vmx/vmx.h

634

BIT(VCPU_REG_CR3) | \

arch/x86/kvm/x86.c

12418

kvm_register_mark_dirty(vcpu, VCPU_REG_CR3);

arch/x86/kvm/x86.c

13054

kvm_register_mark_dirty(vcpu, VCPU_REG_CR3);

arch/x86/kvm/x86.c

1449

kvm_register_mark_dirty(vcpu, VCPU_REG_CR3);