/usr/lib/x86_64-linux-gnu/ada/adalib/florist/posix-memory_locking.ali is in libflorist2014-dev 2014-1.
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 | V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector-strong
A -g
A -gnatVa
A -gnata
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatA
P ZX
RN
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U posix.memory_locking%b posix-memory_locking.adb e58e8a60 NE OO PK IU
W posix%s posix.adb posix.ali
W posix.implementation%s posix-implementation.adb posix-implementation.ali
U posix.memory_locking%s posix-memory_locking.ads 8762eb2e EE NE OO PK IU
W ada.tags%s a-tags.adb a-tags.ali
W posix%s posix.adb posix.ali
W posix.c%s posix-c.adb posix-c.ali
D ada.ads 20070406091342 3ffc8e18
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
D a-stream.ads 20140122164720 1a984740
D a-tags.ads 20111212115430 6c0509d0
D a-unccon.ads 20070406091342 f9eb8f06
D ada_streams.ads 20140406181312 f075057d
D interfac.ads 20140225151838 69adb1b9
D i-c.ads 20110801143639 5421119b
D posix.ads 20141005095935 b1b1faed
D posix-c.ads 20141005095935 39b9495f
D posix-implementation.ads 20140406181312 ee740e94
D posix-memory_locking.ads 20140406181312 bedba271
D posix-memory_locking.adb 20140406181312 b5212685
D system.ads 20140921225607 90249111
D s-exctab.ads 20140225151139 54135002
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-intman.ads 20090409150019 47ba1e06
D s-linux.ads 20140409145429 5b2f79a5
D s-oscons.ads 20140921225608 a445b120
D s-osinte.ads 20140409145429 59011f13
D s-parame.ads 20140225151139 ab8cb46a
D s-pooglo.ads 20110804083314 542f33d0
D s-soflin.ads 20140225151139 aa763b52
D s-stache.ads 20140225151139 a37c21ec
D s-stalib.ads 20140225151139 a891183f
D s-stoele.ads 20140225151139 2dc34a04
D s-stoele.adb 20140225151139 ed88f8fb
D s-stopoo.ads 20131010103753 b16154c2
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
D unchconv.ads 20070406091342 ca2f9e18
X 10 posix.ads
43K9*POSIX 642e10 13|38w6 39r6 40r9 41r39 48r52 50r52 51r5 14|39r6 41r14
. 43r8 44r8 68r5
214R9*Option_Set 610e17 13|41r45 48r30 50r30 14|54r29
601M9 Bits
609m10*Option{601M9} 13|48m42 50m42 14|54r50
X 11 posix-c.ads
42K15*C 2642e12 13|39w12 48r58 50r58 14|43r14
60I9*int<integer> 14|51r33 51r45 54r24 62r34
212N4*MCL_CURRENT 13|48r60
213N4*MCL_FUTURE 13|50r60
1155a4*mlockall_LINKNAME{string} 14|52r35
1181a4*munlockall_LINKNAME{string} 14|63r37
X 12 posix-implementation.ads
43K15*Implementation 390e25 14|39w12 44r14
104U14*Check 14|54s7 65s7
128V13*Not_Implemented_Neg_One{11|60I9} 130i<c,nosys_neg_one>22
132V13*Not_Implemented_Direct{11|60I9} 134i<c,nosys_direct>22
136V13*Not_Supported_Neg_One{11|60I9} 138i<c,notsup_neg_one>22
140V13*Not_Supported_Direct{11|60I9} 142i<c,notsup_direct>22
X 13 posix-memory_locking.ads
40K15*Memory_Locking 10|43k9 13|47E4 51l11 51e25 14|41b20 68l11 68t25
41R9*Memory_Locking_Options<10|214R9> 42r29 43r29 44r34
42r4*Current_Pages{41R9} 47c4
43r4*Future_Pages{41R9} 49c4
44U14*Lock_All 44>24 14|50b14 55l8 55t16
44r24 Options{41R9} 14|50b24 54r41
45U14*Unlock_All 14|61b14 66l8 66t18
X 14 posix-memory_locking.adb
51V16*mlockall{11|60I9} 51>26 52b<c,mlockall>25 54s14
51i26 flag{11|60I9}
62V16*munlockall{11|60I9} 63b<c,munlockall>25 65s14
|