kvm_register_is_dirty
kvm_register_is_dirty(vcpu, VCPU_EXREG_ERAPS))
if (!kvm_register_is_dirty(vcpu, VCPU_EXREG_PDPTR))
else if (kvm_register_is_dirty(vcpu, VCPU_EXREG_CR3))
if (kvm_register_is_dirty(vcpu, VCPU_REGS_RSP))
if (kvm_register_is_dirty(vcpu, VCPU_REGS_RIP))
kvm_register_is_dirty(vcpu, VCPU_EXREG_ERAPS);