CONFIG_INTEL_MIC_CARD 133 drivers/misc/mic/scif/scif_rb.c #ifdef CONFIG_INTEL_MIC_CARD CONFIG_INTEL_MIC_CARD 205 drivers/misc/mic/scif/scif_rb.c #ifdef CONFIG_INTEL_MIC_CARD