# CONFIG_ATM_DUMMY is not set