public static int sysPthreadSignal(int pthread) { return 0; }
public static int sysPthreadSignal(int pthread) { return VM_SysCallMagic.sysPthreadSignal(VM_BootRecord.the_boot_record.sysPthreadSignalIP, pthread); }
  public static int sysPthreadSignal(int pthread) { return 0; }