timer_bucket      280 drivers/infiniband/hw/i40iw/i40iw_ctrl.c 	hmc_fpm_misc->timer_bucket = RS_64(temp, I40IW_QUERY_FPM_TIMERBUCKET);
timer_bucket     3978 drivers/infiniband/hw/i40iw/i40iw_ctrl.c 			((qpwanted) / 512 + 1) * hmc_fpm_misc->timer_bucket;
timer_bucket      414 drivers/infiniband/hw/i40iw/i40iw_type.h 	u32 timer_bucket;