Add TDVX to product_list

The ID and list of performance counters for TDVX already existed, but
they weren't used anywhere.

Change-Id: Ic4e8a5bed529d23953c53c8c0c9f834955c271d7
Reviewed-on: https://fuchsia-review.googlesource.com/c/third_party/github.com/ARM-software/HWCPipe/+/416256
Reviewed-by: Craig Stout <cstout@google.com>
diff --git a/vendor/arm/mali/hwc_names.hpp b/vendor/arm/mali/hwc_names.hpp
index 348ecd8..be3b765 100644
--- a/vendor/arm/mali/hwc_names.hpp
+++ b/vendor/arm/mali/hwc_names.hpp
@@ -4416,6 +4416,11 @@
             PRODUCT_ID_TGOX,
             hardware_counters_mali_tGOx,
         },
+        {
+            PRODUCT_ID_MASK_NEW,
+            PRODUCT_ID_TDVX,
+            hardware_counters_mali_tDVx,
+        },
     };
 
 enum