#ifndef BE_TIMER_H
#define BE_TIMER_H

#include <linux/timer.h>

struct timer_list be_timer;

extern int max_BE_mem_accesses;

void be_timer_throttle_be(void);
void update_be_timer(void);
void be_timer_tick(unsigned long arg);
int init_module(void);
void cleanup_module(void);
extern void freeze_BE_core(void);
extern long long query_BE_monitor(void);
#endif