static inline void write_memory_serialize_page(JavaThread *thread) {

  {- -------------------------------------------
  (1) (変数宣言など)
      (page_offset は, serialize page 中での
       処理対象のスレッド(thread)の書き込み位置)
      ---------------------------------------- -}

        uintptr_t page_offset = ((uintptr_t)thread >>
                                get_serialize_page_shift_count()) &
                                get_serialize_page_mask();

  {- -------------------------------------------
  (1) serialize page の該当箇所に書き込みを行う.
      ---------------------------------------- -}

        *(volatile int32_t *)((uintptr_t)_mem_serialize_page+page_offset) = 1;
      }