if (VM.VerifyAssertions) VM.assert(!fromHeap.refInHeap(VM_Magic.objectAsAddress(st)));
if (VM.VerifyAssertions) VM._assert(!fromHeap.refInHeap(VM_Magic.objectAsAddress(st)));
  static void gc_scanProcessor () throws VM_PragmaUninterruptible {    VM_Processor   st = VM_Processor.getCurrentProcessor();    // verify that processor copied out of FromSpace earlier    if (VM.VerifyAssertions) VM.assert(!fromHeap.refInHeap(VM_Magic.objectAsAddress(st)));    VM_Address oldbuffer = VM_Magic.objectAsAddress(st.modifiedOldObjects);    VM_ScanObject.scanObjectOrArray(st);    // if writebuffer moved, adjust interior pointers    VM_Address newbuffer = VM_Magic.objectAsAddress(st.modifiedOldObjects);    if (oldbuffer.NE(newbuffer)) {      if (verbose >= 2) VM.sysWriteln("  Write buffer copied ",st.id);      st.modifiedOldObjectsMax = newbuffer.add(st.modifiedOldObjectsMax.diff(oldbuffer));      st.modifiedOldObjectsTop = newbuffer.add(st.modifiedOldObjectsTop.diff(oldbuffer));    }  }