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