svm_vcpu_state_commit
svm_vcpu_state_commit(vcpu);
static void svm_vcpu_state_commit(struct nvmm_cpu *);