commit 62268ee9d6381ded49636fa37ea18754f06a2bf1
author Thomas Heijligen <src@posteo.de> Mon Nov 27 15:10:41 2023 +0000
committer Thomas Heijligen <src@posteo.de> Mon Nov 27 15:10:41 2023 +0000
tree f7078b464140b955c7e84c3a50bfb1f50ab9314b
parent 81cf58d7166f46b390e322be3e8a41b21d129243

Make it compile

src/fs-filo.ads

diff --git a/src/fs-filo.ads b/src/fs-filo.ads
index 43b6cef..12132e3 100644
--- a/src/fs-filo.ads
+++ b/src/fs-filo.ads
@@ -1,4 +1,5 @@
 with Interfaces.C;
+with System;
 
 package FS.FILO is
 
@@ -13,12 +14,13 @@
       (sector : Interfaces.C.unsigned_long;
        byte_offset : Interfaces.C.unsigned_long;
        byte_len : Interfaces.C.unsigned_long;
-       buf : ... )
+       buf : System.Address)
       return Interfaces.C.int
       with
          SPARK_Mode => Off,
          Import => True,
-         Conversion => C;
+         Convention => C,
+         External_Name => "devopen";
    
 
 end FS.FILO;