public static int sysStashVmProcessorInPthread(VM_Processor vmProcessor) { return 0; }
public static int sysStashVmProcessorInPthread(VM_Processor vmProcessor) { return VM_SysCallMagic.sysStashVmProcessorInPthread(VM_BootRecord.the_boot_record.sysStashVmProcessorInPthreadIP, vmProcessor); }
  public static int sysStashVmProcessorInPthread(VM_Processor vmProcessor) { return 0; }