diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-08-04 12:29:59 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-08-04 16:53:16 +0200 |
| commit | 5ed76afa814812edaeaff2ea7b3227c18d5de5a6 (patch) | |
| tree | 9074ce6cb6d39bd008c841c574b8621581904972 /sys/linux/dev_infiniband_rdma.txt | |
| parent | 80a0690249dc4dbbbed95ba197192b99c73694c5 (diff) | |
pkg/compiler: check for unused resources
If a resource is never used as an input, it is not useful.
It's effectively the same as using an integer.
Detect such cases, they are quite confusing.
Fix all existing errors in descriptions.
This uncovered some interesting bugs as well,
e.g. use of a completely unrelated fd subtype after copy-paste
(while the resource that was supposed to be used there is completely unused).
Diffstat (limited to 'sys/linux/dev_infiniband_rdma.txt')
| -rw-r--r-- | sys/linux/dev_infiniband_rdma.txt | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/sys/linux/dev_infiniband_rdma.txt b/sys/linux/dev_infiniband_rdma.txt index cb1d6b9eb..a34ef6090 100644 --- a/sys/linux/dev_infiniband_rdma.txt +++ b/sys/linux/dev_infiniband_rdma.txt @@ -16,13 +16,10 @@ include <uapi/rdma/mlx5_user_ioctl_cmds.h> # resources resource fd_rdma[fd] resource pd_handle[int32] -resource ah_handle[int32] resource mr_handle[int32] resource mr_rkey[int32] -resource mr_lkey[int32] resource cq_handle[int32] resource qp_handle[int32] -resource qp_number[int32] resource mw_handle[int32] resource srq_handle[int32] resource xrcd_handle[int32] @@ -30,6 +27,10 @@ resource wq_handle[int32] resource ind_tbl_handle[int32] resource flow_handle[int32] +type ah_handle int32 +type mr_lkey int32 +type qp_number int32 + # defines define IB_USER_VERBS_EX_CMD_QUERY_DEVICE 0x80000001 define IB_USER_VERBS_EX_CMD_CREATE_FLOW 0x80000032 |