ASIC_CCLOCK_PS   11733 drivers/infiniband/hw/hfi1/chip.c 		cclocks = (ns * 1000) / ASIC_CCLOCK_PS;
ASIC_CCLOCK_PS   11750 drivers/infiniband/hw/hfi1/chip.c 		ns = (cclocks * ASIC_CCLOCK_PS) / 1000;