The text 945bd398bc0d, as Debian 12 (Bookworm) shipped it.
delete a local memory registration object
rpma_mr_dereg(3) on Linux now
