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