blob: d35eef395300b18d46c8557f3d57c62451b45323 [file] [log] [blame]
Nico Huberc6bd3d32023-11-27 17:13:37 +01001with Interfaces.C;
2with System;
3
Thomas Heijligen5c43abc2023-12-11 15:24:36 +00004package FILO.Blockdev is
Nico Huberc6bd3d32023-11-27 17:13:37 +01005
6 Procedure Read
7 (Buffer : in out Buffer_Type;
8 Offset : in Natural;
9 Success : out Boolean);
10
11private
12
13 function C_devread
Thomas Heijligen5c43abc2023-12-11 15:24:36 +000014 (sector : Interfaces.C.unsigned_long;
Nico Huberc6bd3d32023-11-27 17:13:37 +010015 byte_offset : Interfaces.C.unsigned_long;
Thomas Heijligen5c43abc2023-12-11 15:24:36 +000016 byte_len : Interfaces.C.unsigned_long;
17 buf : System.Address)
18 return Interfaces.C.int
Nico Huberc6bd3d32023-11-27 17:13:37 +010019 with
20 SPARK_Mode => Off,
21 Import => True,
22 Convention => C,
23 External_Name => "devopen";
24
Thomas Heijligen5c43abc2023-12-11 15:24:36 +000025end FILO.Blockdev;