mlx5dv_devx_obj_create(3) on Linux
The text e1ed7333e39c, as Debian 10 (Buster) shipped it.
Creates a devx object mlx5dv_devx_obj_destroy - Destroys a devx object mlx5dv_devx_obj_modify - Modifies a devx object mlx5dv_devx_obj_query - Queries a devx object mlx5dv_devx_general_cmd - Issues a general command over the devx interface