The text de6ceaff9e5c, as Debian 12 (Bookworm) shipped it.
get the size of the local memory region
rpma_mr_get_size(3) on Linux now