diff options
| author | Marius Fleischer <mariusfleischer@ucsb.edu> | 2023-10-05 04:59:51 -0700 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2023-10-05 16:03:56 +0000 |
| commit | becbb1dee111fc3704fd694c8edc2b5d58592265 (patch) | |
| tree | 9fe5c3f99ad491f83988b80394787cb56a8c8777 | |
| parent | 703c372600522c59f17980cbedeb250d3d9889ed (diff) | |
sys/linux: fix infiniband syzlang description
| -rw-r--r-- | CONTRIBUTORS | 3 | ||||
| -rw-r--r-- | sys/linux/dev_infiniband_rdma.txt | 4 |
2 files changed, 4 insertions, 3 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 49b48d104..9e9ad8669 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -120,4 +120,5 @@ George Kennedy Arm Ltd Andrew Turner h0wdy -Dylan Yudaken
\ No newline at end of file +Dylan Yudaken +Marius Fleischer diff --git a/sys/linux/dev_infiniband_rdma.txt b/sys/linux/dev_infiniband_rdma.txt index 7cd367acd..e83c17f45 100644 --- a/sys/linux/dev_infiniband_rdma.txt +++ b/sys/linux/dev_infiniband_rdma.txt @@ -1418,8 +1418,8 @@ write$DESTROY_AH(fd fd_rdma, buf ptr[inout, destroy_ah_cmd], len len[buf]) # mr write$REG_MR(fd fd_rdma, buf ptr[inout, reg_mr_cmd], len len[buf]) -write$DEREG_MR(fd fd_rdma, buf ptr[inout, rereg_mr_cmd], len len[buf]) -write$REREG_MR(fd fd_rdma, buf ptr[inout, dereg_mr_cmd], len len[buf]) +write$REREG_MR(fd fd_rdma, buf ptr[inout, rereg_mr_cmd], len len[buf]) +write$DEREG_MR(fd fd_rdma, buf ptr[inout, dereg_mr_cmd], len len[buf]) # mw write$ALLOC_MW(fd fd_rdma, buf ptr[inout, alloc_mw_cmd], len len[buf]) |