public static int sysNumProcessors() { return 0; }
public static int sysNumProcessors() { return VM_SysCallMagic.sysNumProcessors(VM_BootRecord.the_boot_record.sysNumProcessorsIP); }
  public static int sysNumProcessors() { return 0; }