1/*
2 * Copyright 2017, Data61
3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4 * ABN 41 687 119 230.
5 *
6 * This software may be distributed and modified according to the terms of
7 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
8 * See "LICENSE_BSD2.txt" for details.
9 *
10 * @TAG(DATA61_BSD)
11 */
12
13#include <utils/util.h>
14
15#include "../../event_counters.h"
16
17const char* const sel4bench_arch_event_counter_data[] = {
18    NAME_EVENT(CACHE_L1I_MISS        , "CACHE_L1I_MISS"),
19    NAME_EVENT(STALL_INSTRUCTION     , "STALL_INSTRUCTION"),
20    NAME_EVENT(STALL_DATA            , "STALL_DATA"),
21    NAME_EVENT(TLB_L1I_MISS          , "TLB_L1I_MISS"),
22    NAME_EVENT(TLB_L1D_MISS          , "TLB_L1D_MISS"),
23    NAME_EVENT(EXECUTE_BRANCH        , "EXECUTE_BRANCH"),
24    NAME_EVENT(BRANCH_MISPREDICT     , "BRANCH_MISPREDICT"),
25    NAME_EVENT(EXECUTE_INSTRUCTION   , "EXECUTE_INSTRUCTION"),
26    NAME_EVENT(CACHE_L1D_HIT         , "CACHE_L1D_HIT"),
27    NAME_EVENT(CACHE_L1D_ACCESS      , "CACHE_L1D_ACCESS"),
28    NAME_EVENT(CACHE_L1D_MISS        , "CACHE_L1D_MISS"),
29    NAME_EVENT(CACHE_L1D_WRITEBACK_HL, "CACHE_L1D_WRITEBACK_HL"),
30    NAME_EVENT(SOFTWARE_PC_CHANGE    , "SOFTWARE_PC_CHANGE"),
31    NAME_EVENT(TLB_L2_MISS           , "TLB_L2_MISS"),
32    NAME_EVENT(MEMORY_ACCESS         , "MEMORY_ACCESS"),
33    NAME_EVENT(STALL_LSU_BUSY        , "STALL_LSU_BUSY"),
34    NAME_EVENT(WRITE_BUFFER_DRAIN    , "WRITE_BUFFER_DRAIN"),
35    NAME_EVENT(ETMEXTOUT_0           , "ETMEXTOUT_0"),
36    NAME_EVENT(ETMEXTOUT_1           , "ETMEXTOUT_1"),
37    NAME_EVENT(ETMEXTOUT             , "ETMEXTOUT"),
38    NAME_EVENT(CCNT                  , "CCNT")
39};
40
41const char* const sel4bench_cpu_event_counter_data[] = {
42};
43
44int
45sel4bench_arch_get_num_counters(void)
46{
47    return ARRAY_SIZE(sel4bench_arch_event_counter_data);
48}
49
50int
51sel4bench_cpu_get_num_counters(void)
52{
53    return ARRAY_SIZE(sel4bench_cpu_event_counter_data);
54}
55