VM_VCPU_BARRIER
{ (uint_t)VM_VCPU_BARRIER, "VM_VCPU_BARRIER", NULL },
if (ioctl(vcpu->ctx->fd, VM_VCPU_BARRIER, vcpu->vcpuid) != 0) {
case VM_VCPU_BARRIER: