ibv_free_device_list(3) on Linux

The text f7c515e8b76c, as Arch Linux 2026-11-01 shipped it. The page shows this text now.

get and release list of available RDMA devices