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