#include <stdarg.h>
#include <ust/immediate.h>
-#include <ust/kernelcompat.h>
+#include <ust/core.h>
#include <urcu/list.h>
#include <ust/processor.h>
+#include <ust/kcompat/kcompat.h>
#include <bits/wordsize.h>
_ASM_PTR "0\n\t" /* tp_cb */ \
_ASM_PTR "(1f)\n\t" /* location */ \
".previous\n\t" \
- ARCH_COPY_ADDR("%[outptr]") \
"1:\n\t" \
+ ARCH_COPY_ADDR("%[outptr]") \
: [outptr] "=r" (m) ); \
\
save_registers(®s)