[next:master 10115/10230] drivers/infiniband/hw/ocrdma/ocrdma_hw.c:1510:6: sparse: symbol 'ocrdma_free_pd_pool' was not declared. Should it be static?

From: kbuild test robot
Date: Tue Feb 17 2015 - 22:49:54 EST


tree: git://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git master
head: c26de6d26435059245babb016acb840d9e0e5d12
commit: 72278f474221abd5c09af5d3a4dff39f9d10948f [10115/10230] RDMA/ocrdma: Move PD resource management to driver.
reproduce:
# apt-get install sparse
git checkout 72278f474221abd5c09af5d3a4dff39f9d10948f
make ARCH=x86_64 allmodconfig
make C=1 CF=-D__CHECK_ENDIAN__


sparse warnings: (new ones prefixed by >>)

drivers/infiniband/hw/ocrdma/ocrdma_hw.c:109:15: sparse: cast to restricted __le32
>> drivers/infiniband/hw/ocrdma/ocrdma_hw.c:1510:6: sparse: symbol 'ocrdma_free_pd_pool' was not declared. Should it be static?
drivers/infiniband/hw/ocrdma/ocrdma_hw.c:1594:34: sparse: cast from restricted __le32
drivers/infiniband/hw/ocrdma/ocrdma_hw.c:1595:34: sparse: cast from restricted __le32

Please review and possibly fold the followup patch.

---
0-DAY kernel test infrastructure Open Source Technology Center
http://lists.01.org/mailman/listinfo/kbuild Intel Corporation
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/