# CONFIG_XEN_GRANT_DEV_ALLOC is not set
