public static int sysGetPageSize() { return 0; }
public static int sysGetPageSize() { return VM_SysCallMagic.sysGetPageSize(VM_BootRecord.the_boot_record.sysGetPageSizeIP); }
  public static int sysGetPageSize() { return 0; }