index 22a517d65a4c461f000ec56a70ba456045f4f011..5a98b3745fc2b0cdfb499ca88731911cf5a811ba 100644 (file)
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";