public static void sysSyncCache(Address address, int size) {}
public static void sysSyncCache(Address address, int size) { VM_SysCallMagic.sysSyncCache(VM_BootRecord.the_boot_record.sysSyncCacheIP, address, size); }
  public static void sysSyncCache(Address address, int size) {}