__mic_get_remote_dp  305 drivers/misc/mic/card/mic_device.c 	.get_remote_dp = __mic_get_remote_dp,
__mic_get_remote_dp  122 drivers/misc/mic/host/mic_boot.c 	.get_remote_dp = __mic_get_remote_dp,