perf_cnt.h

// Copyright 2023 ETH Zurich and University of Bologna.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
 
#define SNRT_NUM_PERF_CNTS \
    (sizeof(((perf_regs_t){}).perf_cnt) / sizeof(((perf_regs_t){}).perf_cnt[0]))
 
typedef snitch_cluster_peripheral_reg__perf_regs_t perf_regs_t;
 
inline volatile perf_regs_t* snrt_perf_counters() {
    return &(snrt_cluster()->peripheral_reg.perf_regs);
}
 
inline void snrt_cfg_perf_counter(uint32_t perf_cnt, uint16_t metric,
                                  uint16_t hart) {
    snrt_perf_counters()->perf_cnt_sel[perf_cnt].f.hart = hart;
    snrt_perf_counters()->perf_cnt_sel[perf_cnt].f.metric = metric;
}
 
inline void snrt_start_perf_counter(uint32_t perf_cnt) {
    snrt_perf_counters()->perf_cnt_en[perf_cnt].f.enable = 0x1;
}
 
inline void snrt_stop_perf_counter(uint32_t perf_cnt) {
    snrt_perf_counters()->perf_cnt_en[perf_cnt].f.enable = 0x0;
}
 
inline void snrt_reset_perf_counter(uint32_t perf_cnt) {
    snrt_perf_counters()->perf_cnt[perf_cnt].f.perf_counter = 0x0;
}
 
inline uint32_t snrt_get_perf_counter(uint32_t perf_cnt) {
    return snrt_perf_counters()->perf_cnt[perf_cnt].f.perf_counter;
}