# CONFIG_CMA_DEBUGFS is not set