mic_sys_addr_to_smpt  176 drivers/misc/mic/host/mic_smpt.c 	spt = mic_sys_addr_to_smpt(mdev, mic_addr);
mic_sys_addr_to_smpt  260 drivers/misc/mic/host/mic_smpt.c 	spt = mic_sys_addr_to_smpt(mdev, mic_addr);