kvm_register_is_dirty
kvm_register_is_dirty(vcpu, VCPU_REG_ERAPS))
if (!kvm_register_is_dirty(vcpu, VCPU_REG_PDPTR))
else if (kvm_register_is_dirty(vcpu, VCPU_REG_CR3))
if (kvm_register_is_dirty(vcpu, VCPU_REGS_RSP))
if (kvm_register_is_dirty(vcpu, VCPU_REG_RIP))