| commit | 3e722829493581e938aa82c1d97c8f432037ea1a | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Mon Dec 04 15:27:40 2023 +0100 |
| committer | Nico Huber <nico.huber@secunet.com> | Mon Dec 04 15:27:40 2023 +0100 |
| tree | c882bc89d7799549155587744a13aa32bf9a3d47 | |
| parent | cd6b7ec5b1b39d9b4fe48954921810a7e916dc03 [diff] [blame] |
FS.FILO: Add Partition_Offset type
diff --git a/src/fs-filo.ads b/src/fs-filo.ads index d8b5998..a3d8f31 100644 --- a/src/fs-filo.ads +++ b/src/fs-filo.ads
@@ -6,6 +6,7 @@ package FS.FILO is type Partition_Length is range 0 .. Interfaces.Unsigned_64'Last; + subtype Partition_Offset is Partition_Length range 0 .. Partition_Length'Last - 1; type File_Length is range 0 .. int'Last; -- Should be higher, fix FILO first subtype File_Offset is File_Length;