blob: 611555447019507b5e6f20bfead39aac0ea7671b [file] [log] [blame]
Nico Huberfdfa2e22023-11-27 16:26:03 +01001with System;
2with Interfaces.C;
3with Interfaces.C.Strings;
4
5use Interfaces.C;
6
7generic
8
9 with procedure Mount (Success : out Boolean);
10
11 with procedure Open (File_Path : String; Success : out Boolean);
Nico Huber0a9591e2023-11-27 16:59:11 +010012 with procedure Close with Convention => C;
Nico Huberfdfa2e22023-11-27 16:26:03 +010013
Nico Huber0a9591e2023-11-27 16:59:11 +010014 with procedure Read (Buf : out Buffer_Type; Len : out Natural);
Nico Huberfdfa2e22023-11-27 16:26:03 +010015
Thomas Heijligend49cb122023-11-29 10:03:02 +000016package FS.FILO.VFS is
Nico Huberfdfa2e22023-11-27 16:26:03 +010017
Nico Huber0a9591e2023-11-27 16:59:11 +010018 function C_Mount return int;
Nico Huberfdfa2e22023-11-27 16:26:03 +010019
Nico Huber0a9591e2023-11-27 16:59:11 +010020 function C_Open (File_Path : Strings.chars_ptr) return int;
21 procedure C_Close renames Close;
Nico Huberfdfa2e22023-11-27 16:26:03 +010022
Nico Huber0a9591e2023-11-27 16:59:11 +010023 function C_Read (Buf : System.Address; Len : int) return int;
Nico Huberfdfa2e22023-11-27 16:26:03 +010024
25end FS.FILO.VFS;