CONFIG_XEN_AUTO_XLATE  758 drivers/xen/privcmd.c 	if (IS_ENABLED(CONFIG_XEN_AUTO_XLATE) &&
CONFIG_XEN_AUTO_XLATE  793 drivers/xen/privcmd.c 	if (IS_ENABLED(CONFIG_XEN_AUTO_XLATE) &&
CONFIG_XEN_AUTO_XLATE   81 include/xen/xen-ops.h #ifdef CONFIG_XEN_AUTO_XLATE