mic_system_page_mask   32 drivers/misc/mic/host/mic_smpt.c 	return pa & mic_system_page_mask(mdev);
mic_system_page_mask   37 drivers/misc/mic/host/mic_smpt.c 	return ALIGN(pa - mic_system_page_mask(mdev),