#ifndef JOS_INC_PROF_HH
#define JOS_INC_PROF_HH

extern "C" {
#include <inc/prof.h>
#include <inc/arch.h>
}

class scoped_prof {
 public:
    scoped_prof(void *func_addr) :
	func_addr_(func_addr), start_(arch_read_tsc()) {}
    scoped_prof(void);
    ~scoped_prof(void);

 private:
    scoped_prof(const scoped_prof&);
    scoped_prof &operator=(const scoped_prof&);

    void *func_addr_;
    uint64_t start_;
};

#endif