mbdev_to_mdev     345 drivers/misc/mic/host/mic_boot.c 	return mic_request_threaded_irq(mbdev_to_mdev(mbdev), handler,
mbdev_to_mdev     353 drivers/misc/mic/host/mic_boot.c 	mic_free_irq(mbdev_to_mdev(mbdev), cookie, data);
mbdev_to_mdev     358 drivers/misc/mic/host/mic_boot.c 	struct mic_device *mdev = mbdev_to_mdev(mbdev);