-#define MMU_CONTEXT_DEBUG 0
-
-#if MMU_CONTEXT_DEBUG
-
-#include <ia64intrin.h>
-
-extern struct mmu_trace_entry {
- char op;
- u8 cpu;
- u32 context;
- void *mm;
-} mmu_tbuf[1024];
-
-extern volatile int mmu_tbuf_index;
-
-# define MMU_TRACE(_op,_cpu,_mm,_ctx) \
-do { \
- int i = __sync_fetch_and_add(&mmu_tbuf_index, 1) % ARRAY_SIZE(mmu_tbuf); \
- struct mmu_trace_entry e; \
- e.op = (_op); \
- e.cpu = (_cpu); \
- e.mm = (_mm); \
- e.context = (_ctx); \
- mmu_tbuf[i] = e; \
-} while (0)
-
-#else
-# define MMU_TRACE(op,cpu,mm,ctx) do { ; } while (0)
-#endif
-