# CONFIG_XEN_VIRTIO_FORCE_GRANT is not set
