mic_intr_type      72 drivers/misc/mic/host/mic_intr.c 				 int intr_src, enum mic_intr_type type)
mic_intr_type     423 drivers/misc/mic/host/mic_intr.c 			 enum mic_intr_type type)
mic_intr_type     131 drivers/misc/mic/host/mic_intr.h 			 enum mic_intr_type type);