drbd_printk_with_wrong_object_type   88 drivers/block/drbd/drbd_int.h void drbd_printk_with_wrong_object_type(void);
drbd_printk_with_wrong_object_type  108 drivers/block/drbd/drbd_int.h 		drbd_printk_with_wrong_object_type()))))