PER_VCPU_DEBUG
PER_VCPU_DEBUG("vCPU %d execution time: %ld.%.9lds\n", vcpu_idx,
PER_VCPU_DEBUG("Created uffd thread %i for HVA range [%p, %p)\n",
PER_VCPU_DEBUG("userfaulted %ld pages over %ld.%.9lds. (%f/sec)\n",