/* You need to profile to get some reasonable number here.
 * For reference
 *  900Mhz Itanium 2 : 300
 *  1.1Ghz Pentium M : 200
 */
#define PROFILE_CONTEXT_COST 200

#include "../cputimestamps/getcycles.h"

/* Timer data is held in a struct like this */
struct timer_buffer_t
{
	cycle_t idle;
	cycle_t total;
};