/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-mmap-system__unix.ali is in libgnatcoll1.7-dev 1.7gpl2015-2+b3.
This file is owned by root:root, with mode 0o444.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 | V "GNAT Lib v6"
A -O2
A -O2
A -gnatA
A -fPIC
A -gnatn
A -gnatws
A -gnat05
A -g
A -fdebug-prefix-map=/build/libgnatcoll-Mx_1GJ/libgnatcoll-1.7gpl2015=.
A -fstack-protector-strong
A -mtune=generic
A -march=x86-64
P ZX
RN
RV NO_ALLOCATORS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U gnatcoll.mmap.system%b gnatcoll-mmap-system__unix.adb ad5a0327 NE OO PK IU
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.io_exceptions%s a-ioexce.ads a-ioexce.ali
W ada.tags%s a-tags.adb a-tags.ali
W gnat%s gnat.ads gnat.ali
W gnat.os_lib%s g-os_lib.ads g-os_lib.ali
W gnatcoll.mmap%s gnatcoll-mmap.adb gnatcoll-mmap.ali
W system%s system.ads system.ali
U gnatcoll.mmap.system%s gnatcoll-mmap-system__unix.ads ff5592cc EE NE OO PK IU
W ada.tags%s a-tags.adb a-tags.ali
W gnat%s gnat.ads gnat.ali
W gnat.os_lib%s g-os_lib.ads g-os_lib.ali
W gnatcoll.mmap%s gnatcoll-mmap.adb gnatcoll-mmap.ali
W system%s system.ads system.ali
D ada.ads 20070406091342 3ffc8e18 ada%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-finali.ads 20151020095656 bf4f806b ada.finalization%s
D a-ioexce.ads 20140225151544 e4a01f64 ada.io_exceptions%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D gnat.ads 20140801083227 fd2ad2f1 gnat%s
D g-os_lib.ads 20090409150019 0db74523 gnat.os_lib%s
D g-string.ads 20090409150019 c6abc540 gnat.strings%s
D gnatcoll.ads 20150430105145 6a5da479 gnatcoll%s
D gnatcoll-mmap.ads 20150430105145 5a47807f gnatcoll.mmap%s
D gnatcoll-mmap-system__unix.ads 20150430105146 cb83971a gnatcoll.mmap.system%s
D gnatcoll-mmap-system__unix.adb 20150430105146 ece80ef0 gnatcoll.mmap.system%b
D interfac.ads 20151118101227 4be8ce1b interfaces%s
D i-c.ads 20110801143639 5421119b interfaces.c%s
D system.ads 20151123113124 6326c08a system%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-finmas.ads 20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
D s-os_lib.ads 20151118101046 53e9e388 system.os_lib%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads 20151118103153 ede33ef8 system.pool_global%s
D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-stopoo.ads 20131010103753 b16154c2 system.storage_pools%s
D s-string.ads 20140225151139 8fe54fb7 system.strings%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
X 1 ada.ads
16K9*Ada 19e8 15|24r6 76r16 97r16 134r16 153r16 198r16
X 4 a-ioexce.ads
18K13*IO_Exceptions 30e22 15|24w10 76r20 97r20 134r20 153r20 198r20
23X4*Name_Error 15|76r34 97r34
25X4*Device_Error 15|134r34 153r34 198r34
X 9 gnat.ads
34K9*GNAT 37e9 14|26r6 33r16 51r7 71r42 78r24 15|27r6 27r23 49r28 123r42
. 130r10 133r10 146r24 150r10
X 10 g-os_lib.ads
51K14*OS_Lib=51:36 14|26w11 33r21 51r12 15|27w11 27r28 49r33 130r15 150r15
X 11 g-string.ads
38K14*Strings=38:37 14|71r47 78r29 15|123r47 133r15 146r29
X 12 gnatcoll.ads
24K9*GNATCOLL 26e13 14|30r9 99r5 15|29r14 257r5
X 13 gnatcoll-mmap.ads
88K18*Mmap 12|24k9 13|267e18 14|30r18 99r14 15|29r23 257r14
118M9*File_Size<17|60M9> 14|41r16 47r17 71r24 77r24 83r31 96r34 15|46r28
. 50r28 54r30 58r14 58r32 83r20 104r20 123r24 145r24 163r31 185r36 197r19
. 240r34 244r14 252r14 252r32
X 14 gnatcoll-mmap-system__unix.ads
30K23*System 13|88k18 14|99l19 99e25 15|29b28 257l19 257t25
32R9*System_File 43e14 50r38 57r55 63r55 66r35 70r24 76r24 82r24 15|71r55
. 92r55 111r35 122r24 144r24 162r24
33i7*Fd{22|183I9} 15|80m10 101m10 113r19 114m12 129r19 130r33 149r19 150r34
. 206r31
35b7*Mapped{boolean} 15|81m10 102m10
38b7*Write{boolean} 15|82m10 103m10 148r27 170r15
41m7*Length{13|118M9} 15|83m10 104m10
45R9*System_Mapping 48e14 52r38 85r28 93r24 15|165r28 216r24
46m7*Address{18|67M9} 15|201m13 221r34
47m7*Length{13|118M9} 15|207m13 221r51
50r4*Invalid_System_File{32R9}
52r4*Invalid_System_Mapping{45R9} 15|222r18
55V13*Open_Read{32R9} 56>7 57>7 15|69b13 84l8 84t17
56a7 Filename{string} 15|70b7 73r20 77r34
57b7 Use_Mmap_If_Available{boolean} 15|71b7 81r20
61V13*Open_Write{32R9} 62>7 63>7 15|90b13 105l8 105t18
62a7 Filename{string} 15|91b7 94r26 98r32
63b7 Use_Mmap_If_Available{boolean} 15|92b7 102r20
66U14*Close 66=21 15|111b14 115l8 115t13
66r21 File{32R9} 15|111b21 113r14 114m7
69V13*Read_From_Disk{30|45P9} 70>7 71>7 71>15 15|121b13 137l8 137t22
70r7 File{32R9} 15|122b7 129r14 130r28
71m7 Offset{13|118M9} 15|123b7 129r37
71m15 Length{13|118M9} 15|123b15 125r59 130r66 131r21
75U14*Write_To_Disk 76>7 77>7 77>15 78>7 15|143b14 155l8 155t21
76r7 File{32R9} 15|144b7 148r22 149r14 150r29
77m7 Offset{13|118M9} 15|145b7 149r37
77m15 Length{13|118M9} 15|145b15 150r67 151r21
78p7 Buffer{30|45P9} 15|146b7 150r38
81U14*Create_Mapping 82>7 83=7 83=15 84>7 85<7 15|161b14 209l8 209t22
82r7 File{32R9} 15|162b7 170r10 206r26
83m7 Offset{13|118M9} 15|163b7 185r49 187m10 187r27 193r46 202r26
83m15 Length{13|118M9} 15|163b15 193m10 193r20 194m10 194r27 197r10 203r26
. 207r24
84b7 Mutable{boolean} 15|164b7 175r13
85r7 Mapping{45R9} 15|165b7 200m10
92U14*Dispose_Mapping 93=7 15|215b14 223l8 223t23
93r7 Mapping{45R9} 15|216b7 221r26 221r43 222m7
96V13*Get_Page_Size{13|118M9} 15|194s36 240b13 245l8 245t21 254s30
X 15 gnatcoll-mmap-system__unix.adb
31M9 Mmap_Prot 32r8 35r26 36r26 47r28 167r15
35m4 PROT_READ{31M9} 47r41 171r19 174r18
36m4 PROT_WRITE{31M9} 171r32 176r29
38M9 Mmap_Flags 39r8 42r27 43r27 48r28 168r15
42m4 MAP_SHARED{38M9} 172r19
43m4 MAP_PRIVATE{38M9} 48r42 178r19
45V13 Mmap{18|67M9} 45>19 46>19 47>19 48>19 49>19 50>19 51b<c,gnatcoll_mmap>22
. 201s24
45m19 Start{18|67M9}
46m19 Length{13|118M9} 203r16
47m19 Prot{31M9} 204r16
48m19 Flags{38M9} 205r16
49i19 Fd{22|183I9} 206r16
50m19 Offset{13|118M9} 202r16
53V13 Munmap{integer} 53>21 54>21 55b<c,gnatcoll_munmap>22 221s18
53m21 Start{18|67M9}
54m21 Length{13|118M9}
57V13 Align{13|118M9} 58>7 187s20 194s20 251b13 255l8 255t13
58m7 Addr{13|118M9} 252b7 254r14 254r21
61V13 Is_Mapping_Available{boolean} 81s51 102s51 229b13 234l8 234t28
72i7 Fd{22|183I9} 75r10 80r20 83r44
93i7 Fd{22|183I9} 96r10 101r20 104r44
125p7 Buffer{22|67P12} 130r37 133m29 133r29 136r14
167m7 Prot{31M9} 171m10 174m10 176m13 176r21 204r26
168m7 Flags{38M9} 172m10 178m10 205r26
185m10 Queried_Offset{13|118M9} 193r29
218i7 Ignored{integer} 219r28 221m7
230V16*Has_Mmap{integer} 231b<c,gnatcoll_has_mmap>25 233s14
241V16*Internal{integer} 242b<c,getpagesize>25 244s25
X 16 interfac.ads
38K9*Interfaces 15|31r26 32r27 38r27 39r28 16|183e15
X 17 i-c.ads
18K20*C 15|31r37 32r38 38r38 39r39 17|230e17
35I9*int<integer> 15|31r39 32r40 38r40 39r41
60M9*size_t
X 18 system.ads
37K9*System 14|24w6 46r26 53r16 15|25w6 25r18 45r37 50r60 53r39 18|156e11
67M9*Address 14|46r33 15|45r44 50r67 53r46
69m4*Null_Address{67M9} 14|53r23 15|45r55
X 22 s-os_lib.ads
67P12*String_Access{30|45P9} 15|125r16
183I9*File_Descriptor<integer> 14|33r28 15|49r40 72r21 93r21
191i4*Invalid_FD{183I9} 14|51r19 15|75r15 96r15 114r18
199U14*Close 15|113s7
275n18*Binary{275E9} 15|73r30 94r36
364V13*File_Length{long_integer} 15|83s31 104s31
490N4*Seek_Set 15|129r46 149r46
493U14*Lseek 15|129s7 149s7
549V13*Open_Read{183I9} 15|73s9
555V13*Open_Read_Write{183I9} 15|94s9
562V13*Read{integer} 15|130s22
632V13*Write{integer} 15|150s22
X 30 s-string.ads
45P9*String_Access(string) 14|71r55 78r37 15|123r55 146r37
49U14*Free[8|20] 15|133s23
|