# CONFIG_DVB_MMAP is not set