mlx5dv_sched_leaf_destroy(3) on Linux
The text 1a6439012c6c, as Debian 12 (Bookworm) 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