mlx5dv_sched_leaf_destroy(3) on Linux
The text 2bc0fd85a1c8, as Debian 13 (Trixie) 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