vmm_fence_add
void vmm_fence_add(struct vm *vm, cpuset_t *cpus, struct vmm_fence *fence);
vmm_fence_add(hyp->vm, &cpus, &fence);