arch/x86/include/asm/kvm_host.h

206

VCPU_EXREG_ERAPS = VCPU_EXREG_CR3,

arch/x86/kvm/kvm_cache_regs.h

210

if (!kvm_register_is_available(vcpu, VCPU_EXREG_CR3))

arch/x86/kvm/kvm_cache_regs.h

211

kvm_x86_call(cache_reg)(vcpu, VCPU_EXREG_CR3);

arch/x86/kvm/vmx/nested.c

1192

kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);

arch/x86/kvm/vmx/nested.c

4975

kvm_register_mark_available(vcpu, VCPU_EXREG_CR3);

arch/x86/kvm/vmx/vmx.c

2656

case VCPU_EXREG_CR3:

arch/x86/kvm/vmx/vmx.c

3546

if (!kvm_register_is_available(vcpu, VCPU_EXREG_CR3))

arch/x86/kvm/vmx/vmx.c

3547

vmx_cache_reg(vcpu, VCPU_EXREG_CR3);

arch/x86/kvm/vmx/vmx.c

3584

kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);

arch/x86/kvm/vmx/vmx.c

3613

else if (kvm_register_is_dirty(vcpu, VCPU_EXREG_CR3))

arch/x86/kvm/vmx/vmx.h

632

(1 << VCPU_EXREG_CR3) | \

arch/x86/kvm/x86.c

12379

kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);

arch/x86/kvm/x86.c

13017

kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);

arch/x86/kvm/x86.c

1479

kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);