va64             3082 drivers/infiniband/hw/i40iw/i40iw_ctrl.c 	u64 temp, va64, fbo, header;
va64             3096 drivers/infiniband/hw/i40iw/i40iw_ctrl.c 	va64 = (uintptr_t)(info->va);
va64             3097 drivers/infiniband/hw/i40iw/i40iw_ctrl.c 	va32 = (u32)(va64 & 0x00000000FFFFFFFF);