rpma_mr_dereg(3) on Linux

The text 98aa03a4cff3, as Debian 13 (Trixie) shipped it. The page shows this text now.

delete a local memory registration object

rpma_mr_dereg(3) on Linux now