Jacek Caban : vkd3d: Use uint64_t for the size in vkd3d_gpu_va_allocator_allocate.