extern const char *gator_mali_get_mali_name(void) { u32 id = gator_mali_get_id(); switch (id) { case MALI_T6xx: return "Mali-T6xx"; case MALI_4xx: return "Mali-4xx"; default: pr_debug("gator: Mali-T6xx: unknown Mali ID (%d)\n", id); return "Mali-Unknown"; } }
int gator_events_mali_init(void) { unsigned int cnt; u32 id = gator_mali_get_id(); switch (id) { case MALI_T6xx: mali_name = "Mali-T6xx"; break; case MALI_400: mali_name = "Mali-400"; break; case MALI_300: mali_name = "Mali-300"; break; case MALI_200: mali_name = "Mali-200"; break; default: printk("Unknown Mali ID (%d)\n", id); return -1; } pr_debug("gator: mali init\n"); for (cnt = FIRST_ACTIVITY_EVENT; cnt < NUMBER_OF_EVENTS; cnt++) { counter_enabled[cnt] = 0; counter_event[cnt] = 0; counter_key[cnt] = gator_events_get_key(); counter_address[cnt] = NULL; counter_data[cnt] = 0; } trace_registered = 0; return gator_events_install(&gator_events_mali_interface); }