/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
H A D | restrict.ads | 35 type Restriction_Id is new Rident.Restriction_Id; type 43 Restriction_Id range 44 Restriction_Id (Rident.All_Restrictions'First) .. 45 Restriction_Id (Rident.All_Restrictions'Last); 49 Restriction_Id range 50 Restriction_Id (Rident.Partition_Restrictions'First) .. 51 Restriction_Id (Rident.Partition_Restrictions'Last); 55 Restriction_Id range 80 Restrictions_Loc : array (Restriction_Id) of Source_Ptr := 121 Res_Id : Restriction_Id; [all …]
|
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
H A D | restrict.ads | 35 type Restriction_Id is new Rident.Restriction_Id; type 43 Restriction_Id range 44 Restriction_Id (Rident.All_Restrictions'First) .. 45 Restriction_Id (Rident.All_Restrictions'Last); 49 Restriction_Id range 50 Restriction_Id (Rident.Partition_Restrictions'First) .. 51 Restriction_Id (Rident.Partition_Restrictions'Last); 55 Restriction_Id range 80 Restrictions_Loc : array (Restriction_Id) of Source_Ptr := 121 Res_Id : Restriction_Id; [all …]
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 229 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 230 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 231 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 232 No_Requeue : Restriction_Id renames No_Requeue_Statements; 233 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 234 SPARK : Restriction_Id renames SPARK_05; 236 subtype All_Restrictions is Restriction_Id range 240 subtype All_Boolean_Restrictions is Restriction_Id range 259 Restriction_Id range [all …]
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 229 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 230 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 231 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 232 No_Requeue : Restriction_Id renames No_Requeue_Statements; 233 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 234 SPARK : Restriction_Id renames SPARK_05; 236 subtype All_Restrictions is Restriction_Id range 240 subtype All_Boolean_Restrictions is Restriction_Id range 259 Restriction_Id range [all …]
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 221 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 222 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 223 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 224 No_Requeue : Restriction_Id renames No_Requeue_Statements; 225 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 226 SPARK : Restriction_Id renames SPARK_05; 228 subtype All_Restrictions is Restriction_Id range 232 subtype All_Boolean_Restrictions is Restriction_Id range 251 Restriction_Id range
|
/dports/lang/gcc6-aux/bootstrap/lib/gcc/x86_64-aux-dragonfly4.1/5.1.0/adainclude/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 224 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 225 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 226 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 227 No_Requeue : Restriction_Id renames No_Requeue_Statements; 228 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 229 SPARK : Restriction_Id renames SPARK_05; 231 subtype All_Restrictions is Restriction_Id range 235 subtype All_Boolean_Restrictions is Restriction_Id range 254 Restriction_Id range
|
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 215 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 216 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 217 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 218 No_Requeue : Restriction_Id renames No_Requeue_Statements; 219 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 221 subtype All_Restrictions is Restriction_Id range 225 subtype All_Boolean_Restrictions is Restriction_Id range 244 Restriction_Id range
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 215 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 216 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 217 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 218 No_Requeue : Restriction_Id renames No_Requeue_Statements; 219 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 221 subtype All_Restrictions is Restriction_Id range 225 subtype All_Boolean_Restrictions is Restriction_Id range 244 Restriction_Id range
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 231 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 232 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 233 No_Requeue : Restriction_Id renames No_Requeue_Statements; 234 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 235 SPARK : Restriction_Id renames SPARK_05; 237 subtype All_Restrictions is Restriction_Id range 241 subtype All_Boolean_Restrictions is Restriction_Id range 260 Restriction_Id range [all …]
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 231 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 232 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 233 No_Requeue : Restriction_Id renames No_Requeue_Statements; 234 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 235 SPARK : Restriction_Id renames SPARK_05; 237 subtype All_Restrictions is Restriction_Id range 241 subtype All_Boolean_Restrictions is Restriction_Id range 260 Restriction_Id range [all …]
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 231 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 232 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 233 No_Requeue : Restriction_Id renames No_Requeue_Statements; 234 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 235 SPARK : Restriction_Id renames SPARK_05; 237 subtype All_Restrictions is Restriction_Id range 241 subtype All_Boolean_Restrictions is Restriction_Id range 260 Restriction_Id range [all …]
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 231 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 232 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 233 No_Requeue : Restriction_Id renames No_Requeue_Statements; 234 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 235 SPARK : Restriction_Id renames SPARK_05; 237 subtype All_Restrictions is Restriction_Id range 241 subtype All_Boolean_Restrictions is Restriction_Id range 260 Restriction_Id range [all …]
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 231 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 232 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 233 No_Requeue : Restriction_Id renames No_Requeue_Statements; 234 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 235 SPARK : Restriction_Id renames SPARK_05; 237 subtype All_Restrictions is Restriction_Id range 241 subtype All_Boolean_Restrictions is Restriction_Id range 260 Restriction_Id range [all …]
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 231 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 232 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 233 No_Requeue : Restriction_Id renames No_Requeue_Statements; 234 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 235 SPARK : Restriction_Id renames SPARK_05; 237 subtype All_Restrictions is Restriction_Id range 241 subtype All_Boolean_Restrictions is Restriction_Id range 260 Restriction_Id range [all …]
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 231 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 232 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 233 No_Requeue : Restriction_Id renames No_Requeue_Statements; 234 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 235 SPARK : Restriction_Id renames SPARK_05; 237 subtype All_Restrictions is Restriction_Id range 241 subtype All_Boolean_Restrictions is Restriction_Id range 260 Restriction_Id range [all …]
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 231 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 232 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 233 No_Requeue : Restriction_Id renames No_Requeue_Statements; 234 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 235 SPARK : Restriction_Id renames SPARK_05; 237 subtype All_Restrictions is Restriction_Id range 241 subtype All_Boolean_Restrictions is Restriction_Id range 260 Restriction_Id range [all …]
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 231 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 232 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 233 No_Requeue : Restriction_Id renames No_Requeue_Statements; 234 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 235 SPARK : Restriction_Id renames SPARK_05; 237 subtype All_Restrictions is Restriction_Id range 241 subtype All_Boolean_Restrictions is Restriction_Id range 260 Restriction_Id range [all …]
|
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 231 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 232 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 233 No_Requeue : Restriction_Id renames No_Requeue_Statements; 234 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 235 SPARK : Restriction_Id renames SPARK_05; 237 subtype All_Restrictions is Restriction_Id range 241 subtype All_Boolean_Restrictions is Restriction_Id range 260 Restriction_Id range [all …]
|
/dports/lang/gcc9-aux/bootstrap/lib/gcc/x86_64-aux-dragonfly5.5/9.1.0/adainclude/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 231 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 232 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 233 No_Requeue : Restriction_Id renames No_Requeue_Statements; 234 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 235 SPARK : Restriction_Id renames SPARK_05; 237 subtype All_Restrictions is Restriction_Id range 241 subtype All_Boolean_Restrictions is Restriction_Id range 260 Restriction_Id range [all …]
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 231 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 232 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 233 No_Requeue : Restriction_Id renames No_Requeue_Statements; 234 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 235 SPARK : Restriction_Id renames SPARK_05; 237 subtype All_Restrictions is Restriction_Id range 241 subtype All_Boolean_Restrictions is Restriction_Id range 260 Restriction_Id range [all …]
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 231 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 232 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 233 No_Requeue : Restriction_Id renames No_Requeue_Statements; 234 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 235 SPARK : Restriction_Id renames SPARK_05; 237 subtype All_Restrictions is Restriction_Id range 241 subtype All_Boolean_Restrictions is Restriction_Id range 260 Restriction_Id range [all …]
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 234 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 235 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 236 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 237 No_Requeue : Restriction_Id renames No_Requeue_Statements; 238 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 240 subtype All_Restrictions is Restriction_Id range 244 subtype All_Boolean_Restrictions is Restriction_Id range 263 Restriction_Id range 268 Restriction_Id range
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 235 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 236 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 237 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 238 No_Requeue : Restriction_Id renames No_Requeue_Statements; 239 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 241 subtype All_Restrictions is Restriction_Id range 245 subtype All_Boolean_Restrictions is Restriction_Id range 264 Restriction_Id range 269 Restriction_Id range
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 234 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 235 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 236 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 237 No_Requeue : Restriction_Id renames No_Requeue_Statements; 238 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 240 subtype All_Restrictions is Restriction_Id range 244 subtype All_Boolean_Restrictions is Restriction_Id range 263 Restriction_Id range 268 Restriction_Id range
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/libgnat/ |
H A D | s-rident.ads | 85 type Restriction_Id is type 234 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers; 235 Max_Entry_Queue_Depth : Restriction_Id renames Max_Entry_Queue_Length; 236 No_Dynamic_Interrupts : Restriction_Id renames No_Dynamic_Attachment; 237 No_Requeue : Restriction_Id renames No_Requeue_Statements; 238 No_Task_Attributes : Restriction_Id renames No_Task_Attributes_Package; 240 subtype All_Restrictions is Restriction_Id range 244 subtype All_Boolean_Restrictions is Restriction_Id range 263 Restriction_Id range 268 Restriction_Id range
|