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)29 strp6pmc_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