public static void sysCopy(Address dst, Address src, Extent cnt) {}
public static void sysCopy(Address dst, Address src, Extent cnt) { VM_SysCallMagic.sysCopy(VM_BootRecord.the_boot_record.sysCopyIP, dst, src, cnt); }
  public static void sysCopy(Address dst, Address src, Extent cnt) {}