runtime/realm/threads.cc
// changes the priority of the thread (and, by extension, the operation it
//   is working on)
changes the priority of the thread (and, by extension, the operation it
is working on)
changes the priority of the thread ( and by extension the operation it is working on )
void Thread::set_priority(int new_priority)
  {
    assert(scheduler != 0);
    scheduler->set_thread_priority(this, new_priority);
  }
void Thread :: set_priority ( int new_priority ) { assert ( scheduler != 0 ) ; scheduler -> set_thread_priority ( this , new_priority ) ; }
changes the priority of the thread (and, by extension, the operation it
is working on)
changes the priority of the thread ( and by extension the operation it is working on )