Re: [PATCH 5/6] vkd3d: Optimize GPU VA allocator.