[PATCH vkd3d 09/12] vkd3d: Prefer uint64_t to UINT64.