gator: Version 5.16

[android-sdk/arm-ds5-gator.git] / driver / gator_events_mali_common.c

diff --git a/driver/gator_events_mali_common.c b/driver/gator_events_mali_common.c
index 22a517d65a4c461f000ec56a70ba456045f4f011..5a98b3745fc2b0cdfb499ca88731911cf5a811ba 100644 (file)
--- a/driver/gator_events_mali_common.c
+++ b/driver/gator_events_mali_common.c
@@ -20,8 +20,8 @@ extern const char *gator_mali_get_mali_name(void)
        switch (id) {
        case MALI_T6xx:
                return "Mali-T6xx";
-       case MALI_400:
-               return "Mali-400";
+       case MALI_4xx:
+               return "Mali-4xx";
        default:
                pr_debug("gator: Mali-T6xx: unknown Mali ID (%d)\n", id);
                return "Mali-Unknown";