/sys/i386/include/xen/

• ../
• hypercall.h
• synch_bitops.h
• xen-os.h