This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/florist/posix-process_scheduling.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
 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
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_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_ACCESS
RV NO_UNCHECKED_CONVERSION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U posix.process_scheduling%b  posix-process_scheduling.adb  6554eced NE OO PK IU
W posix%s		posix.adb		posix.ali
W posix.implementation%s  posix-implementation.adb  posix-implementation.ali
W posix.process_identification%s  posix-process_identification.adb  posix-process_identification.ali
W unchecked_conversion%s

U posix.process_scheduling%s  posix-process_scheduling.ads  d5098edf EE NE OO PK IU
W posix%s		posix.adb		posix.ali
W posix.c%s		posix-c.adb		posix-c.ali
W posix_process_identification%s  posix_process_identification.ads  posix_process_identification.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-process_identification.ads  20140406181312 6458fdd5
D posix-process_scheduling.ads  20140406181312 078d909c
D posix-process_scheduling.adb  20140406181312 22da1128
D posix_process_identification.ads  20140406181312 5a8cadf1
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 14|38r6 40r9 64r48 65r48 66r48 88r13 92r23 94r5 15|39r6
. 40r6 43r14 45r8 46r8 79r32 195r13 202r5
520R9*Timespec 595e14 14|88r19 15|195r19
X 11 posix-c.ads
42K15*C 2642e12 14|38w12 64r54 65r54 66r54 92r29 15|45r14
60I9*int<integer> 15|66r42 75r39 95r49 114r16 115r39 125r10 133r53 148r32
. 160r46 160r58 167r41 174r46 174r58 181r41 190r49
260N4*SCHED_FIFO 14|64r56
261N4*SCHED_OTHER 14|66r56
262N4*SCHED_RR 14|65r56
425I9*pid_t<integer> 15|74r13 79r73 94r13 113r13 133r39 189r13
774R9*struct_sched_param 776e14 14|92r31 15|95r22
775i7*sched_priority{60I9} 15|55r52 66m24
787P9*sched_param_ptr(774R9) 15|75r15 115r15
878R9*struct_timespec 881e14 15|190r25 196r20
1249a4*sched_get_priority_max_LINKNAME{string} 15|161r46
1252a4*sched_get_priority_min_LINKNAME{string} 15|175r46
1255a4*sched_rr_get_interval_LINKNAME{string} 15|191r45
1258a4*sched_getparam_LINKNAME{string} 15|96r38
1260a4*sched_getscheduler_LINKNAME{string} 15|134r42
1262a4*sched_setparam_LINKNAME{string} 15|76r38
1264a4*sched_setscheduler_LINKNAME{string} 15|116r42
1266a4*sched_yield_LINKNAME{string} 15|149r35
X 12 posix-implementation.ads
43K15*Implementation 390e25 15|39w12 46r14
104U14*Check 15|85s7 103s7 123s7 153s7 198s7
106V13*Check{11|60I9} 15|141s10 167s10 181s10
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
386V13*To_Timespec{10|520R9} 15|199s14
X 13 posix-process_identification.ads
39K15*Process_Identification 102e33 15|40w12 79r38
43I9*Process_ID<11|425I9> 14|69r49 72r46 75r49 79r46 87r46 15|79r61 82r49
. 99r46 119r49 137r46 194r46
X 14 posix-process_scheduling.ads
40K15*Process_Scheduling 10|43k9 14|91E9 94l11 94e29 15|43b20 202l11 202t29
42I12*Scheduling_Priority{integer} 45r13 48r20 83r13 85r13 15|53r13 55r14
. 64r20 164r13 166r14 178r13 180r14
43R9*Scheduling_Parameters 44r40 47r27 70r20 73r13 77r20 91c9 93e14 15|52r40
. 63r27 83r20 100r13 101r24 121r20
44V13*Get_Priority{42I12} 44>27 15|52b13 56l8 56t20
44r27 Parameters{43R9} 15|52b27 55r35
46U14*Set_Priority 47=7 48>7 15|62b14 67l8 67t20
47r7 Parameters{43R9} 15|63b7 66m7
48i7 Priority{42I12} 15|64b7 66r47
50I9*Scheduling_Policy<integer> 64r27 65r27 66r27 76r20 80r13 82r44 84r44
. 15|120r20 138r13 140r14 163r44 177r44
64i4*Sched_FIFO{50I9}
65i4*Sched_RR{50I9}
66i4*Sched_Other{50I9}
68U14*Set_Scheduling_Parameters 69>7 70>7 15|81b14 87l8 87t33
69i7 Process{13|43I9} 15|82b7 85r40
70r7 Parameters{43R9} 15|83b7 86r9
71V13*Get_Scheduling_Parameters{43R9} 72>7 15|98b13 106l8 106t33
72i7 Process{13|43I9} 15|99b7 104r20
74U14*Set_Scheduling_Policy 75>7 76>7 77>7 15|118b14 127l8 127t29
75i7 Process{13|43I9} 15|119b7 124r20
76i7 New_Policy{50I9} 15|120b7 125r15
77r7 Parameters{43R9} 15|121b7 126r10
78V13*Get_Scheduling_Policy{50I9} 79>7 15|136b13 142l8 142t29
79i7 Process{13|43I9} 15|137b7 141r47
81U14*Yield 15|151b14 154l8 154t13
82V13*Get_Maximum_Priority{42I12} 82>35 15|163b13 168l8 168t28
82i35 Policy{50I9} 15|163b35 167r46
84V13*Get_Minimum_Priority{42I12} 84>35 15|177b13 182l8 182t28
84i35 Policy{50I9} 15|177b35 181r46
86V13*Get_Round_Robin_Interval{10|520R9} 87>7 15|193b13 200l8 200t32
87i7 Process{13|43I9} 15|194b7 198r47
92r7*Param{11|774R9} 15|55r46 66m18 86m20 104m37 126m21
X 15 posix-process_scheduling.adb
73V13 sched_setparam{11|60I9} 74>7 75>7 76b<c,sched_setparam>22 85s14
74i7 pid{11|425I9}
75p7 param{11|787P9}
78V13 To_pid_t[35|20]{11|425I9} 85s30 104s10 124s10 141s37 198s37
93V13 sched_getparam{11|60I9} 94>7 95^7 96b<c,sched_getparam>22 103s14
94i7 pid{11|425I9}
95p7 param(11|774R9)
101r7 Params{14|43R9} 104m30 104r30 105r14
112V13 sched_setscheduler{11|60I9} 113>7 114>7 115>7 116b<c,sched_setscheduler>22
. 123s14
113i7 pid{11|425I9}
114i7 policy{11|60I9}
115p7 param{11|787P9}
133V13 sched_getscheduler{11|60I9} 133>33 134b<c,sched_getscheduler>22 141s17
133i33 pid{11|425I9}
148V13 sched_yield{11|60I9} 149b<c,sched_yield>22 153s14
160V13 sched_get_priority_max{11|60I9} 160>37 161b<c,sched_get_priority_max>22
. 167s17
160i37 policy{11|60I9}
174V13 sched_get_priority_min{11|60I9} 174>37 175b<c,sched_get_priority_min>22
. 181s17
174i37 policy{11|60I9}
188V13 sched_rr_get_interval{11|60I9} 189>7 190^7 191b<c,sched_rr_get_interval>22
. 198s14
189i7 pid{11|425I9}
190p7 interval(11|878R9)
196r7 TS{11|878R9} 198m57 198r57 199r27
X 16 posix_process_identification.ads
41K9*POSIX_Process_Identification=42:10 14|39w6 69r20 72r17 75r20 79r17 87r17
. 15|82r20 99r17 119r20 137r17 194r17
X 35 unchconv.ads
20v10*Unchecked_Conversion 15|41w6 79r10