fbo_high         1992 drivers/infiniband/hw/ocrdma/ocrdma_hw.c 	cmd->fbo_high = (u32) upper_32_bits(hwmr->fbo);
fbo_high         1537 drivers/infiniband/hw/ocrdma/ocrdma_sli.h 	u32 fbo_high;