/*
 * perf.h 
 * A Performance counter library for Linux
 */

#ifdef ATHLON

/* Some IOCTL's */

#define EVSEL 0x10 /* Choose Event Select Register */
#define EVCNT 0x20 /* Choose Event Counter Register */

/* Base address of event select register */
#define EVSEL_BASE 0xc0010000 
/* Base address of event count register */
#define EVCNT_BASE 0xc0010004

/* Now, some events to be monitored */

#define DCACHE_ACCESS 0x40
#define DCACHE_MISS 0x41

/* Other selection bits */

#define ENABLE (1U << 22) /* Enable the counter */
#define USR (1U << 16) /* Count user mode event */
#define OS (1U << 17) /* Count OS mode events */


#endif /* ATHLON */