mic_is_system_addr  171 drivers/misc/mic/host/mic_smpt.c 	if (!mic_is_system_addr(mdev, mic_addr)) {
mic_is_system_addr  254 drivers/misc/mic/host/mic_smpt.c 	if (!mic_is_system_addr(mdev, mic_addr)) {