#include <asm-i386/mach-xen/asm/synch_bitops.h>