Nico Huber | fdfa2e2 | 2023-11-27 16:26:03 +0100 | [diff] [blame] | 1 | with System; |
| 2 | with Interfaces.C; |
| 3 | with Interfaces.C.Strings; |
| 4 | |
| 5 | use Interfaces.C; |
| 6 | |
| 7 | generic |
| 8 | |
| 9 | with procedure Mount (Success : out Boolean); |
| 10 | |
| 11 | with procedure Open (File_Path : String; Success : out Boolean); |
Nico Huber | 0a9591e | 2023-11-27 16:59:11 +0100 | [diff] [blame] | 12 | with procedure Close with Convention => C; |
Nico Huber | fdfa2e2 | 2023-11-27 16:26:03 +0100 | [diff] [blame] | 13 | |
Nico Huber | 0a9591e | 2023-11-27 16:59:11 +0100 | [diff] [blame] | 14 | with procedure Read (Buf : out Buffer_Type; Len : out Natural); |
Nico Huber | fdfa2e2 | 2023-11-27 16:26:03 +0100 | [diff] [blame] | 15 | |
Thomas Heijligen | d49cb12 | 2023-11-29 10:03:02 +0000 | [diff] [blame^] | 16 | package FS.FILO.VFS is |
Nico Huber | fdfa2e2 | 2023-11-27 16:26:03 +0100 | [diff] [blame] | 17 | |
Nico Huber | 0a9591e | 2023-11-27 16:59:11 +0100 | [diff] [blame] | 18 | function C_Mount return int; |
Nico Huber | fdfa2e2 | 2023-11-27 16:26:03 +0100 | [diff] [blame] | 19 | |
Nico Huber | 0a9591e | 2023-11-27 16:59:11 +0100 | [diff] [blame] | 20 | function C_Open (File_Path : Strings.chars_ptr) return int; |
| 21 | procedure C_Close renames Close; |
Nico Huber | fdfa2e2 | 2023-11-27 16:26:03 +0100 | [diff] [blame] | 22 | |
Nico Huber | 0a9591e | 2023-11-27 16:59:11 +0100 | [diff] [blame] | 23 | function C_Read (Buf : System.Address; Len : int) return int; |
Nico Huber | fdfa2e2 | 2023-11-27 16:26:03 +0100 | [diff] [blame] | 24 | |
| 25 | end FS.FILO.VFS; |