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);