From becbb1dee111fc3704fd694c8edc2b5d58592265 Mon Sep 17 00:00:00 2001 From: Marius Fleischer Date: Thu, 5 Oct 2023 04:59:51 -0700 Subject: sys/linux: fix infiniband syzlang description --- CONTRIBUTORS | 3 ++- 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]) -- cgit mrf-deployment