malloc_monitor.h

/*
 * Copyright (C) 2024 TU Dresden
 *
 * This file is subject to the terms and conditions of the GNU Lesser
 * General Public License v2.1. See the file LICENSE in the top level
 * directory for more details.
 */
#ifndef MALLOC_MONITOR_H
#define MALLOC_MONITOR_H
 
#include <assert.h>
#include <stdint.h>
#include <stddef.h>
#include <string.h>
 
#include "architecture.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
size_t malloc_monitor_get_usage_current(void);
 
size_t malloc_monitor_get_usage_high_watermark(void);
 
void malloc_monitor_reset_high_watermark(void);
 
#ifdef __cplusplus
}
#endif
 
#endif /* MALLOC_MONITOR_H */