# CONFIG_XEN_AUTO_XLATE is not set
