tree c047c8c365fc8535e94aad2fb1acbba3eea552cb
parent 4e1d5306cf732a37257de8801736f18c7ed8a37c
author John Bauman <jbauman@google.com> 1597262118 +0000
committer John Bauman <jbauman@google.com> 1597266490 +0000

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>