Thomas Heijligen | 5182037 | 2023-12-11 15:29:17 +0000 | [diff] [blame] | 1 | with Interfaces.C; |
| 2 | with Interfaces.C.Strings; |
| 3 | with System; |
| 4 | |
| 5 | package FILO.FS.NullFS is |
Thomas Heijligen | a6d6315 | 2024-01-29 13:43:40 +0000 | [diff] [blame^] | 6 | -- noop init |
Thomas Heijligen | 5182037 | 2023-12-11 15:29:17 +0000 | [diff] [blame] | 7 | function C_Mount return Interfaces.C.int |
| 8 | with |
| 9 | Export, |
| 10 | Convention => C, |
| 11 | External_Name => "nullfs_mount"; |
| 12 | |
Thomas Heijligen | a6d6315 | 2024-01-29 13:43:40 +0000 | [diff] [blame^] | 13 | function C_Read -- read from blockdev |
| 14 | (buf : System.Address; -- char* |
Thomas Heijligen | 5182037 | 2023-12-11 15:29:17 +0000 | [diff] [blame] | 15 | len : Interfaces.C.int) |
| 16 | return Interfaces.C.int |
| 17 | with |
| 18 | Export, |
| 19 | Convention => C, |
| 20 | External_Name => "nullfs_read"; |
| 21 | |
Thomas Heijligen | a6d6315 | 2024-01-29 13:43:40 +0000 | [diff] [blame^] | 22 | function C_Dir -- noop like open |
| 23 | (Path : System.Address) -- char* |
Thomas Heijligen | 5182037 | 2023-12-11 15:29:17 +0000 | [diff] [blame] | 24 | return Interfaces.C.int |
| 25 | with |
| 26 | Export, |
| 27 | Convention => C, |
| 28 | External_Name => "nullfs_dir"; |
| 29 | |
Thomas Heijligen | 5182037 | 2023-12-11 15:29:17 +0000 | [diff] [blame] | 30 | end FILO.FS.NullFS; |