sys/amd64/include/xen/xen-os.h sys/i386/include/xen/xen-os.h sys/x86/include/xen/xen-os.h sys/xen/xen-os.h
