hfi1_sps_ints    1401 drivers/infiniband/hw/hfi1/debugfs.c 		*(u64 *)buffer = hfi1_sps_ints();
hfi1_sps_ints    1769 drivers/infiniband/hw/hfi1/verbs.c 		values[num_dev_cntrs] = hfi1_sps_ints();