monitor.h

Go to the documentation of this file.

#ifndef KERN_MONITOR_H
#define KERN_MONITOR_H

#include "cfg/cfg_monitor.h"

#include <cpu/types.h>

void monitor_start(size_t stacksize, cpu_stack_t *stack);


size_t monitor_checkStack(cpu_stack_t *stack_base, size_t stack_size);


void monitor_report(void);

#endif /* KERN_MONITOR_H */