| Thomas Heijligen | d1e0457 | 2023-11-27 14:28:55 +0000 | [diff] [blame] | 1 | with Interfaces.C; |
| Thomas Heijligen | 62268ee | 2023-11-27 15:10:41 +0000 | [diff] [blame] | 2 | with System; |
| Thomas Heijligen | d1e0457 | 2023-11-27 14:28:55 +0000 | [diff] [blame] | 3 | |
| 4 | package FS.FILO is |
| 5 | |
| 6 | Procedure Read |
| 7 | (Buffer : in out Buffer_Type; |
| 8 | Offset : in Natural; |
| 9 | Success : out Boolean); |
| 10 | |
| 11 | private |
| 12 | |
| 13 | function C_devread |
| 14 | (sector : Interfaces.C.unsigned_long; |
| 15 | byte_offset : Interfaces.C.unsigned_long; |
| 16 | byte_len : Interfaces.C.unsigned_long; |
| Thomas Heijligen | 62268ee | 2023-11-27 15:10:41 +0000 | [diff] [blame] | 17 | buf : System.Address) |
| Thomas Heijligen | d1e0457 | 2023-11-27 14:28:55 +0000 | [diff] [blame] | 18 | return Interfaces.C.int |
| 19 | with |
| 20 | SPARK_Mode => Off, |
| 21 | Import => True, |
| Thomas Heijligen | 62268ee | 2023-11-27 15:10:41 +0000 | [diff] [blame] | 22 | Convention => C, |
| 23 | External_Name => "devopen"; |
| Thomas Heijligen | d1e0457 | 2023-11-27 14:28:55 +0000 | [diff] [blame] | 24 | |
| 25 | |
| 26 | end FS.FILO; |
| 27 | |
| 28 | |
| 29 | |
| 30 | -- int mount (void) |
| 31 | -- int read (char* buf, int len) |
| 32 | -- int dir (char *dirname) |
| 33 | -- void close (void) // not implemented |