# CONFIG_XEN_GRANT_DMA_ALLOC is not set