/include/config/XEN_GRANT_DEV_ALLOC