#ifndef JOS_INC_PROFILER_H
#define JOS_INC_PROFILER_H

void profiler_init(void);

#endif