__ibdev_printk    225 drivers/infiniband/core/device.c 	__ibdev_printk(level, ibdev, &vaf);
__ibdev_printk    242 drivers/infiniband/core/device.c 	__ibdev_printk(level, ibdev, &vaf);                     \