original_kernel/drivers/misc/mic/common
..
mic_dev.h