1V "GNAT Lib v5" 2A -gnatwa 3A -nostdinc 4A -O2 5A -Wextra 6A -Wall 7A -g 8A -gnatp 9A -gnatg 10A -mtune=generic 11A -march=x86-64 12P SS ZX 13 14RN 15RV NO_ALLOCATORS 16RV NO_DELAY 17RV NO_EXCEPTIONS 18RV NO_IMPLICIT_LOOPS 19RV NO_LOCAL_ALLOCATORS 20RV NO_SECONDARY_STACK 21RV NO_STANDARD_STORAGE_POOLS 22RV NO_UNCHECKED_ACCESS 23RV NO_UNCHECKED_CONVERSION 24RV NO_DEFAULT_INITIALIZATION 25RV NO_IMPLEMENTATION_ATTRIBUTES 26RV NO_IMPLICIT_ALIASING 27RV NO_ELABORATION_CODE 28RV SPARK_05 29 30U system.multiprocessors.dispatching_domains%b s-mudido.adb 76251e4e NE OL PK 31W ada%s ada.ads ada.ali 32W ada.exceptions%s a-except.adb a-except.ali 33W ada.real_time.delays%s a-retide.adb a-retide.ali 34W ada.unchecked_conversion%s 35W system%s system.ads system.ali 36W system.multiprocessors%s s-multip.adb s-multip.ali 37W system.secondary_stack%s s-secsta.adb s-secsta.ali 38W system.task_primitives%s s-taspri.ads s-taspri.ali 39W system.task_primitives.operations%s s-taprop.adb s-taprop.ali 40W system.tasking%s s-taskin.adb s-taskin.ali 41W system.tasking.initialization%s s-tasini.adb s-tasini.ali 42 43U system.multiprocessors.dispatching_domains%s s-mudido.ads c8a6ea09 EE OL PK 44W ada%s ada.ads ada.ali 45W ada.real_time%s a-reatim.adb a-reatim.ali 46W ada.task_identification%s a-taside.adb a-taside.ali 47W system%s system.ads system.ali 48W system.exception_table%s s-exctab.adb s-exctab.ali 49W system.multiprocessors%s s-multip.adb s-multip.ali 50W system.standard_library%s s-stalib.adb s-stalib.ali 51W system.tasking%s s-taskin.adb s-taskin.ali 52 53D ada.ads 20070406091342 3ffc8e18 ada%s 54D a-except.ads 20140730140058 5250cb69 ada.exceptions%s 55D a-reatim.ads 20141120112812 02069903 ada.real_time%s 56D a-retide.ads 20090409150019 081cdaa4 ada.real_time.delays%s 57D a-taside.ads 20140611123156 9a31e556 ada.task_identification%s 58D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s 59D interfac.ads 20141120112812 6033a23f interfaces%s 60D i-c.ads 20110801143639 5421119b interfaces.c%s 61D system.ads 20150428105438 bf8979bc system%s 62D s-atacco.ads 20120515093410 4c36d12f system.address_to_access_conversions%s 63D s-exctab.ads 20140225151139 54135002 system.exception_table%s 64D s-multip.ads 20101011073009 38ac9f73 system.multiprocessors%s 65D s-mudido.ads 20141120143135 5baa40df system.multiprocessors.dispatching_domains%s 66D s-mudido.adb 20141120144719 23b27679 system.multiprocessors.dispatching_domains%b 67D s-osinte.ads 20150428105438 fd1dc366 system.os_interface%s 68D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s 69D s-secsta.ads 20140225151139 86a2856d system.secondary_stack%s 70D s-soflin.ads 20140801100131 aa763b52 system.soft_links%s 71D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s 72D s-stausa.ads 20110804134155 017a0a05 system.stack_usage%s 73D s-stalib.ads 20150220094550 fa0a3617 system.standard_library%s 74D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s 75D s-tasinf.ads 20140613095942 801abd01 system.task_info%s 76D s-taspri.ads 20141120144719 e3ab4429 system.task_primitives%s 77D s-taprop.ads 20140521131406 1dd2e1b6 system.task_primitives.operations%s 78D s-taskin.ads 20150106085750 339749f0 system.tasking%s 79D s-tasini.ads 20140730134804 ea044658 system.tasking.initialization%s 80D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s 81D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s 82X 1 ada.ads 8316K9*Ada 19e8 13|16r6 18r6 47r11 48r13 53r16 54r18 58r13 59r15 62r11 63r13 84. 66r26 14|38r6 49r6 49r32 75r16 76r18 222r26 250r11 251r13 271r11 272r13 85. 318r13 319r15 86X 3 a-reatim.ads 8739K13*Real_Time 141e18 13|16w10 66r30 14|222r30 8841O9*Time<duration> 13|66r40 14|222r40 89X 5 a-taside.ads 9039K13*Task_Identification 77e28 13|18w10 47r15 48r17 53r20 54r22 58r17 59r19 91. 62r15 63r17 14|49r36 75r20 76r22 250r15 251r17 271r15 272r17 318r17 319r19 9243P9*Task_Id<26|109P9> 13|47r35 53r40 58r37 62r35 14|49r56 75r40 250r35 271r35 93. 318r37 9453V13*Current_Task{43P9} 13|48s37 54s42 59s39 63s37 14|76s42 251s37 272s37 95. 319s39 96X 6 a-unccon.ads 9720v14*Unchecked_Conversion 14|38w10 49r10 98X 9 system.ads 9937K9*System 144e11 13|20r14 22r9 70r35 74r37 75r5 14|35r6 36r6 36r45 40r14 100. 42r23 395r5 101X 12 s-multip.ads 10216K16*Multiprocessors 9|37k9 12|28e27 13|22r16 75r12 14|40r21 395r12 10319I9*CPU_Range<integer> 13|34r41 38r63 52r16 57r13 63r58 67r26 14|53r16 74r16 104. 116r41 124r22 223r26 251r58 301r63 309r14 317r13 347r16 350r29 10521I12*CPU{19I9} 13|34r29 36r64 40r27 14|116r29 286r64 294r14 10623i4*Not_A_Specific_CPU{19I9} 13|52r29 14|74r29 93r20 330r17 374r27 382r20 10725V13*Number_Of_CPUs{21I12} 14|152s21 108X 13 s-mudido.ads 10922K32*Dispatching_Domains 12|16k16 13|70E9 75l28 75e47 14|40b37 395l28 395t47 11028X4*Dispatching_Domain_Error 14|90r16 94r16 153r16 157r16 161r16 165r16 111. 173r19 180r16 334r16 11230P9*Dispatching_Domain<26|393P9> 32r41 34r59 36r37 38r36 42r43 44r35 48r58 113. 51r23 70c9 72r41 73r34 14|73r23 88r10 116r59 121r43 137r20 261r35 272r58 114. 275r32 276r9 286r37 301r36 11532p4*System_Dispatching_Domain{30P9} 72c4 14|88r55 101r19 11634V13*Create{30P9} 34>21 34>34 14|116b13 119l8 119t14 11734i21 First{12|21I12} 14|116b21 118r23 11834i34 Last{12|19I9} 14|116b34 118r32 11936V13*Get_First_CPU{12|21I12} 36>28 14|125s9 286b13 295l8 295t21 12036p28 Domain{30P9} 14|286b28 288r19 289r13 12138V13*Get_Last_CPU{12|19I9} 38>27 14|126s9 301b13 310l8 310t20 12238p27 Domain{30P9} 14|301b27 303r27 304r13 12340A9*CPU_Set(boolean)<12|19I9> 42r27 44r62 14|121r27 261r62 263r14 12442V13*Create{30P9} 42>21 14|118s14 121b13 215l8 215t14 12542a21 Set{40A9} 14|121b21 123r35 12644V13*Get_CPU_Set{40A9} 44>26 14|261b13 264l8 264t19 12744p26 Domain{30P9} 14|261b26 263r23 12846V13*Get_Dispatching_Domain{30P9} 47>7 14|270b13 280l8 280t30 12947p7 T{5|43P9} 14|271b7 276r42 13050U14*Assign_Task 51=7 52>7 53>7 14|72b14 110l8 110t19 13151p7 Domain{30P9} 14|73b7 93r59 101r10 108r43 13252i7 CPU{12|19I9} 14|74b7 93r13 93r48 108r52 13353p7 T{5|43P9} 14|75b7 78r52 13456U14*Set_CPU 57>7 58>7 14|231s7 316b14 339l8 339t15 13557i7 CPU{12|19I9} 14|317b7 330r10 331r10 332r36 338r53 13658p7 T{5|43P9} 14|318b7 321r52 13761V13*Get_CPU{12|19I9} 62>7 14|249b13 255l8 255t15 13862p7 T{5|43P9} 14|250b7 254r27 13965U14*Delay_Until_And_Set_CPU 66>7 67>7 14|221b14 232l8 232t31 14066o7 Delay_Until_Time{3|41O9} 14|222b7 230r19 14167i7 CPU{12|19I9} 14|223b7 231r16 142X 14 s-mudido.adb 14342K12 ST=42:30 49r65 52r16 54r16 78r25 80r16 108r13 122r32 123r12 128r16 144. 129r16 130r16 131r16 133r11 135r27 135r52 156r28 164r13 171r12 184r25 190r7 145. 194r7 195r22 200r12 203r31 212r7 242r7 321r25 323r16 346r16 348r16 352r16 146. 368r14 369r50 375r13 376r15 383r13 384r15 14748V13 Convert_Ids[6|20]{26|109P9} 78s39 254s14 276s29 321s39 14851U14 Unchecked_Set_Affinity 52>7 53>7 54>7 107s10 338s7 345b14 393l8 393t30 14952p7 Domain{26|393P9} 346b7 359r26 369r19 369r41 15053i7 CPU{12|19I9} 347b7 363r28 382r13 383r42 384r44 15154p7 T{26|109P9} 348b7 350r42 355r19 359r7 363r7 390r26 392r15 15260U14 Freeze_Dispatching_Domains 62r12 238b14 243l8 243t34 15378p7 Target{26|109P9} 88r30 108r57 154122a7 ST_DD{26|384A9} 125r24 126r23 156r14 170r13 177r66 184r48 155124I15 Rng{12|19I9} 152r10 156r46 156r56 169r19 177r26 177r53 194r25 194r52 156133p7 T{26|109P9} 200m7 202r13 203r13 204r32 207m10 207r15 157135a7 New_System_Domain{26|384A9} 177m7 177r34 179r10 179r31 194r33 195r45 158137p7 New_Domain{13|30P9} 184m7 214r14 159169i11 Proc{124I15} 170r20 171r41 160275p14 Result{13|30P9} 278r25 161288i11 Proc<integer> 289r21 290r20 162303i11 Proc<integer> 304r21 305r20 163321p7 Target{26|109P9} 331r21 332r14 338r31 338r58 164350i7 Source_CPU{12|19I9} 374r13 375r42 376r44 165X 20 s-stausa.ads 166203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22 167268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22 168X 24 s-taspri.ads 16943K16*Task_Primitives 14|36r13 36r52 24|120e27 170X 25 s-taprop.ads 17139K32*Operations 14|36w29 36r68 25|571e38 172135V13*Self{26|109P9} 14|160s13 190s38 212s40 173187U14*Write_Lock 14|355s7 174241U14*Unlock 14|392s7 175405V13*Environment_Task{26|109P9} 14|160s21 176434U14*Lock_RTS 14|192s7 177437U14*Unlock_RTS 14|210s7 178566U14*Set_Task_Affinity 14|204s13 390s7 179X 26 s-taskin.ads 18047K16*Tasking 13|20w21 70r42 74r44 14|35r13 42r30 26|1208e19 181109P9*Task_Id(107R9) 14|49r68 54r19 78r28 131r19 133r14 321r28 348r19 182384A9*Dispatching_Domain(boolean)<12|19I9> 14|122r35 123r15 128r19 135r30 183. 184r28 184393P9*Dispatching_Domain_Access(384A9) 13|70r50 14|52r19 80r19 108r16 129r19 185. 323r19 346r19 352r19 186395p4*System_Domain{393P9} 13|74r52 14|135r55 156r31 194r10 195r25 203r34 187. 369r53 188400b4*Dispatching_Domains_Frozen{boolean} 14|164r16 242m10 368r17 189404A9*Array_Allocated_Tasks(natural)<12|19I9> 14|130r19 190411P9*Array_Allocated_Tasks_Access(404A9) 191413p4*Dispatching_Domain_Tasks{411P9} 14|171r15 375r16 376r18 383r16 384r18 192526i7*Base_CPU{12|19I9} 14|254r37 350r51 363m16 193609p7*All_Tasks_Link{109P9} 14|207r24 194701p7*Domain{393P9} 14|88r44 203r22 276r52 331r35 332r28 338r45 359m16 195744p4*All_Tasks_List{109P9} 14|200r15 196958r7*Common{507R9} 14|88r37 203r15 207r17 254r30 276r45 331r28 332r21 338r38 197. 350r44 359m9 363m9 198X 27 s-tasini.ads 19935K24*Initialization 14|35w21 190r10 212r10 27|178e34 20095U14*Defer_Abort 14|190s25 20198U14*Undefer_Abort 14|212s25 202 203