# CONFIG_XEN_PRIVCMD is not set
