void java_lang_Thread::set_priority(oop java_thread, ThreadPriority priority) {

  {- -------------------------------------------
  (1) oopDesc::int_field_put() で priority フィールドに値をセットするだけ.
      ---------------------------------------- -}

      java_thread->int_field_put(_priority_offset, priority);
    }