blob: 95b6d1627cf55769e52fc27459f7d3344bd395ba [file] [log] [blame]
Thomas Heijligen51820372023-12-11 15:29:17 +00001with Interfaces.C;
2with Interfaces.C.Strings;
3with System;
4
5package FILO.FS.NullFS is
Thomas Heijligena6d63152024-01-29 13:43:40 +00006 -- noop init
Thomas Heijligen51820372023-12-11 15:29:17 +00007 function C_Mount return Interfaces.C.int
8 with
9 Export,
10 Convention => C,
11 External_Name => "nullfs_mount";
12
Thomas Heijligena6d63152024-01-29 13:43:40 +000013 function C_Read -- read from blockdev
14 (buf : System.Address; -- char*
Thomas Heijligen51820372023-12-11 15:29:17 +000015 len : Interfaces.C.int)
16 return Interfaces.C.int
17 with
18 Export,
19 Convention => C,
20 External_Name => "nullfs_read";
21
Thomas Heijligena6d63152024-01-29 13:43:40 +000022 function C_Dir -- noop like open
23 (Path : System.Address) -- char*
Thomas Heijligen51820372023-12-11 15:29:17 +000024 return Interfaces.C.int
25 with
26 Export,
27 Convention => C,
28 External_Name => "nullfs_dir";
29
Thomas Heijligen51820372023-12-11 15:29:17 +000030end FILO.FS.NullFS;