VCPU_EXREG_CR3
VCPU_EXREG_ERAPS = VCPU_EXREG_CR3,
if (!kvm_register_is_available(vcpu, VCPU_EXREG_CR3))
kvm_x86_call(cache_reg)(vcpu, VCPU_EXREG_CR3);
kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);
kvm_register_mark_available(vcpu, VCPU_EXREG_CR3);
case VCPU_EXREG_CR3:
if (!kvm_register_is_available(vcpu, VCPU_EXREG_CR3))
vmx_cache_reg(vcpu, VCPU_EXREG_CR3);
kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);
else if (kvm_register_is_dirty(vcpu, VCPU_EXREG_CR3))
(1 << VCPU_EXREG_CR3) | \
kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);
kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);
kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);