# CONFIG_PCMCIA_DEBUG is not set