409 	struct hfi1_ibdev *dev =  in hw_rev_show()
410 		rdma_device_to_drv_device(device, struct hfi1_ibdev, rdi.ibdev);  in hw_rev_show()
419 	struct hfi1_ibdev *dev =  in board_id_show()
420 		rdma_device_to_drv_device(device, struct hfi1_ibdev, rdi.ibdev);  in board_id_show()
433 	struct hfi1_ibdev *dev =  in boardversion_show()
434 		rdma_device_to_drv_device(device, struct hfi1_ibdev, rdi.ibdev);  in boardversion_show()
445 	struct hfi1_ibdev *dev =  in nctxts_show()
446 		rdma_device_to_drv_device(device, struct hfi1_ibdev, rdi.ibdev);  in nctxts_show()
464 	struct hfi1_ibdev *dev =  in nfreectxts_show()
465 		rdma_device_to_drv_device(device, struct hfi1_ibdev, rdi.ibdev);  in nfreectxts_show()
476 	struct hfi1_ibdev *dev =  in serial_show()
477 		rdma_device_to_drv_device(device, struct hfi1_ibdev, rdi.ibdev);  in serial_show()
489 	struct hfi1_ibdev *dev =  in chip_reset_store()
490 		rdma_device_to_drv_device(device, struct hfi1_ibdev, rdi.ibdev);  in chip_reset_store()
518 	struct hfi1_ibdev *dev =  in tempsense_show()
519 		rdma_device_to_drv_device(device, struct hfi1_ibdev, rdi.ibdev);  in tempsense_show()