csr0to3          14529 drivers/infiniband/hw/hfi1/chip.c 			       u32 csr0to3, u32 csr4to7)
csr0to3          14531 drivers/infiniband/hw/hfi1/chip.c 	write_csr(dd, csr0to3,