perf_counter: Check task on counter read IPI
[linux-2.6/mini2440.git] / include / xen / page.h
blobeaf85fab12632d45cc00d8976d9108a3eacc2850
1 #include <asm/xen/page.h>