[PATCH v2 1/1] vkd3d: Use uint64_t for the size in vkd3d_gpu_va_allocator_allocate.