Hello Doug,
The following patches are what I came up with after having analyzed the
output of sparse and smatch for Linux RDMA kernel code:
0001-RDMA-core-Fix-indentation.patch
0002-IB-mad-Fix-indentation.patch
0003-IB-rdmavt-Annotate-rvt_reset_qp.patch
0004-IB-hfi1-Fix-indentation.patch
0005-IB-hfi1-Use-bit-0-instead-of-bit-1.patch
0006-IB-hfi1-Suppress-sparse-warnings.patch
Bart.
--
To unsubscribe from this list: send the line "unsubscribe linux-rdma" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html