original_kernel/include/xen/xen-ops.h