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