VMM_FENCE_QUEUE_SIZE
(hypctx->fence_queue_head + 1) % VMM_FENCE_QUEUE_SIZE;
(hypctx->fence_queue_tail + 1) % VMM_FENCE_QUEUE_SIZE;
hypctx->fence_queue = mallocarray(VMM_FENCE_QUEUE_SIZE,