vm_vcpu_barrier
int vm_vcpu_barrier(struct vcpu *vcpu);
err = vm_vcpu_barrier(vcpu);
int vm_vcpu_barrier(struct vm *, int);
error = vm_vcpu_barrier(sc->vmm_vm, vcpu);