task_set_priority_boost


task_set_priority_boost(t, p)
      

Set the priority boost of the task t to the real number p. Return void.

Also see:

task_base_priority
task_priority_boost


Core Module Index | Contents