# CONFIG_XEN_COMPAT_XENFS is not set
