mlx5dv_sched_leaf_destroy(3) on Linux
The text 0084a7fbb3c3, as Debian 11 (Bullseye) shipped it.
Creates a scheduling node element mlx5dv_sched_leaf_create - Creates a scheduling leaf element mlx5dv_sched_node_modify - Modifies a node scheduling element mlx5dv_sched_leaf_modify - Modifies a leaf scheduling element mlx5dv_sched_node_destroy - Destroys a node scheduling element mlx5dv_sched_leaf_destroy - Destroys a leaf scheduling element