/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
|