devpage           195 drivers/misc/mic/vop/vop_vringh.c 			     struct mic_device_desc **devpage)
devpage           237 drivers/misc/mic/vop/vop_vringh.c 	*devpage = devp;
devpage           243 drivers/misc/mic/vop/vop_vringh.c 				 struct mic_device_desc *devpage)
devpage           247 drivers/misc/mic/vop/vop_vringh.c 	dc = (void *)devpage + mic_aligned_desc_size(devpage);