drmdevice: print the correct host1x information

While fairly close, the host1x and platform are two separate things.

Signed-off-by: Emil Velikov <emil.velikov@collabora.com>
Tested-by: Robert Foss <robert.foss@collabora.com>
Reviewed-by: Robert Foss <robert.foss@collabora.com>
Reviewed-by: Eric Engestrom <eric@engestrom.ch>

diff --git a/tests/drmdevice.c b/tests/drmdevice.c
index 049df3c..cdf6e8d 100644 (file)
--- a/tests/drmdevice.c
+++ b/tests/drmdevice.c
@@ -85,13 +85,13 @@ print_device_info(drmDevicePtr device, int i, bool print_revision)
             compatible++;
         }
     } else if (device->bustype == DRM_BUS_HOST1X) {
-        char **compatible = device->deviceinfo.platform->compatible;
+        char **compatible = device->deviceinfo.host1x->compatible;
 
         printf("|   +-> host1x\n");
         printf("|       +-> fullname\t%s\n", device->businfo.host1x->fullname);
 
         printf("+-> deviceinfo\n");
-        printf("    +-> platform\n");
+        printf("    +-> host1x\n");
         printf("        +-> compatible\n");
 
         while (*compatible) {