87a673cac4
This has been confusing for some time, as from a xml file with the suffix v33 (so suggesting just one version) we were generating the headers for v33, v40, v41 and v71. So now there is a header for the vc4 driver, and one header for the v3d/v3dv (so v3d "platform") drivers. FWIW, this means that now the name of the original xml and the header files generated doesn't maintain a so similar pattern, but again the equivalence were not there anyway. Acked-by: Emma Anholt <emma@anholt.net> Reviewed-by: Iago Toral Quiroga <itoral@igalia.com> Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/25851>