va32             3083 drivers/infiniband/hw/i40iw/i40iw_ctrl.c 	u32 va32;
va32             3097 drivers/infiniband/hw/i40iw/i40iw_ctrl.c 	va32 = (u32)(va64 & 0x00000000FFFFFFFF);
va32             3098 drivers/infiniband/hw/i40iw/i40iw_ctrl.c 	fbo = (u64)(va32 & (4096 - 1));