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