VCPU_REG_ERAPS
kvm_register_mark_dirty(vcpu, VCPU_REG_ERAPS);
kvm_register_is_dirty(vcpu, VCPU_REG_ERAPS))