profiler.h

Go to the documentation of this file.

/*
 * Copyright (C) 2026 Kamil Lulko <kamil.lulko@gmail.com>
 *
 * SPDX-License-Identifier: GPL-3.0-or-later
 *
 * This file is part of oveRTOS.
 */
 
#ifndef OVE_PROFILER_H
#define OVE_PROFILER_H
 
#include <stddef.h>
#include <stdint.h>
 
#include "ove_config.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
#ifdef CONFIG_OVE_PROFILER
 
int ove_backend_profiler_start(void);
 
void ove_backend_profiler_sample_tick(void);
 
void ove_backend_profiler_stop(void);
 
void ove_backend_profiler_set_rate(uint32_t hz);
 
uint32_t ove_backend_profiler_get_max_hz(void);
 
size_t ove_backend_profiler_drain_symbols(char *out, size_t out_max);
 
#else
 
static inline int ove_backend_profiler_start(void)
{
    return 0;
}
static inline void ove_backend_profiler_sample_tick(void)
{
}
static inline void ove_backend_profiler_stop(void)
{
}
static inline void ove_backend_profiler_set_rate(uint32_t hz)
{
    (void)hz;
}
static inline uint32_t ove_backend_profiler_get_max_hz(void)
{
    return 0;
}
static inline size_t ove_backend_profiler_drain_symbols(char *out, size_t out_max)
{
    (void)out;
    (void)out_max;
    return 0;
}
 
#endif /* CONFIG_OVE_PROFILER */
 
#ifdef __cplusplus
}
#endif
 
#endif /* OVE_PROFILER_H */