1 /* 2 * (c) 2008-2009 Torsten Frenzel <frenzel@os.inf.tu-dresden.de> 3 * economic rights: Technische Universität Dresden (Germany) 4 * This file is part of TUD:OS and distributed under the terms of the 5 * GNU Lesser General Public License 2.1. 6 * Please see the COPYING-LGPL-2.1 file for details. 7 */ 8 /** 9 * \brief lib for performance mesaurement counters. 10 */ 11 12 #include <l4/sys/types.h> 13 14 #define CONFIG_PERFORM_ONLY_PROTOTYPES 15 #include <l4/util/perform.h> 16 17 typedef struct 18 { 19 l4_uint32_t index; 20 const char *string; 21 } event_entry; 22 23 static const event_entry event_array[]= 24 { 25 #include "pmc_events.h" 26 }; 27 28 const char* strp6pmc_event(l4_uint32_t event)29strp6pmc_event(l4_uint32_t event) 30 { 31 int i; 32 33 for (i=0; i<sizeof(event_array)/sizeof(event_entry); i++) 34 if (event_array[i].index == event) 35 return event_array[i].string; 36 37 return "unknown"; 38 } 39