Home
last modified time | relevance | path

Searched refs:Mark_Id (Results 1 – 25 of 103) sorted by relevance

12345

/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/
H A D1ssecsta.adb42 type Memory is array (Mark_Id range <>) of SSE.Storage_Element;
45 Top : Mark_Id;
46 Last : Mark_Id;
47 Mem : Memory (1 .. Mark_Id'Last);
85 Max_Align : constant Mark_Id := Mark_Id (Standard'Maximum_Alignment);
86 Max_Size : constant Mark_Id :=
87 ((Mark_Id (Storage_Size) + Max_Align - 1) / Max_Align)
119 pragma Assert (Size >= 2 * Mark_Id'Max_Size_In_Storage_Elements);
122 Stack.Last := Mark_Id (Size) - 2 * Mark_Id'Max_Size_In_Storage_Elements;
129 function SS_Mark return Mark_Id is
[all …]
H A Ds-secsta.adb101 type Chunk_Id (First, Last : Mark_Id);
104 type Chunk_Id (First, Last : Mark_Id) is record
110 Top : Mark_Id;
137 Top : Mark_Id;
141 Last : Mark_Id;
146 Max : Mark_Id;
180 Max_Align : constant Mark_Id := Mark_Id (Standard'Maximum_Alignment);
181 Max_Size : constant Mark_Id :=
394 & Mark_Id'Image (Chunk.Last)
459 function SS_Mark return Mark_Id is
[all …]
H A D1ssecsta.ads67 type Mark_Id is private; type
70 function SS_Mark return Mark_Id;
73 procedure SS_Release (M : Mark_Id);
83 type Mark_Id is new SSE.Integer_Address; type
H A Ds-secsta.ads75 type Mark_Id is private; type
78 function SS_Mark return Mark_Id;
81 procedure SS_Release (M : Mark_Id);
105 type Mark_Id is new SSE.Integer_Address; type
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/
H A D1ssecsta.adb42 type Memory is array (Mark_Id range <>) of SSE.Storage_Element;
45 Top : Mark_Id;
46 Last : Mark_Id;
47 Mem : Memory (1 .. Mark_Id'Last);
85 Max_Align : constant Mark_Id := Mark_Id (Standard'Maximum_Alignment);
86 Max_Size : constant Mark_Id :=
87 ((Mark_Id (Storage_Size) + Max_Align - 1) / Max_Align)
119 pragma Assert (Size >= 2 * Mark_Id'Max_Size_In_Storage_Elements);
122 Stack.Last := Mark_Id (Size) - 2 * Mark_Id'Max_Size_In_Storage_Elements;
129 function SS_Mark return Mark_Id is
[all …]
H A Ds-secsta.adb101 type Chunk_Id (First, Last : Mark_Id);
104 type Chunk_Id (First, Last : Mark_Id) is record
110 Top : Mark_Id;
137 Top : Mark_Id;
141 Last : Mark_Id;
146 Max : Mark_Id;
180 Max_Align : constant Mark_Id := Mark_Id (Standard'Maximum_Alignment);
181 Max_Size : constant Mark_Id :=
394 & Mark_Id'Image (Chunk.Last)
459 function SS_Mark return Mark_Id is
[all …]
H A D1ssecsta.ads67 type Mark_Id is private;
70 function SS_Mark return Mark_Id;
73 procedure SS_Release (M : Mark_Id);
83 type Mark_Id is new SSE.Integer_Address;
H A Ds-secsta.ads75 type Mark_Id is private; type
78 function SS_Mark return Mark_Id;
81 procedure SS_Release (M : Mark_Id);
105 type Mark_Id is new SSE.Integer_Address; type
/dports/devel/aunit/aunit-gpl-2017-src/include/aunit/framework/staticmemory/
H A Daunit-memory.adb43 type Mark_Id is new SSE.Integer_Address; type
45 type Memory is array (Mark_Id range <>) of SSE.Storage_Element;
50 Top : Mark_Id := Mem'First;
53 (size_t, Mark_Id);
60 Max_Align : constant Mark_Id := Mark_Id (Standard'Maximum_Alignment);
61 Max_Size : Mark_Id :=
64 Location : constant Mark_Id := Top;
/dports/cad/ghdl/ghdl-1.0.0/src/grt/
H A Dgrt-stack2.adb32 type Memory is array (Mark_Id range <>) of Character;
35 Min_Chunk_Size : constant Mark_Id := 8 * 1024;
37 type Chunk_Type (First, Last : Mark_Id);
39 type Chunk_Type (First, Last : Mark_Id) is record
49 Top : Mark_Id;
61 function Mark (S : Stack2_Ptr) return Mark_Id
68 procedure Release (S : Stack2_Ptr; Mark : Mark_Id)
85 Max_Align : constant Mark_Id := Mark_Id (Standard'Maximum_Alignment);
86 Aligned_Size : constant Mark_Id :=
87 ((Mark_Id (Size) + Max_Align - 1) / Max_Align) * Max_Align;
[all …]
H A Dgrt-stack2.ads44 type Mark_Id is private; type
48 function Mark (S : Stack2_Ptr) return Mark_Id;
51 procedure Release (S : Stack2_Ptr; Mark : Mark_Id);
69 type Mark_Id is new Integer_Address; type
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/
H A Ds-secsta.ads77 type Mark_Id is private; type
80 function SS_Mark return Mark_Id;
83 procedure SS_Release (M : Mark_Id);
111 type Mark_Id is record type
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/
H A Ds-secsta.ads77 type Mark_Id is private; type
80 function SS_Mark return Mark_Id;
83 procedure SS_Release (M : Mark_Id);
111 type Mark_Id is record type
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/
H A Ds-secsta.ads77 type Mark_Id is private; type
80 function SS_Mark return Mark_Id;
83 procedure SS_Release (M : Mark_Id);
111 type Mark_Id is record type
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/
H A Ds-secsta.ads77 type Mark_Id is private; type
80 function SS_Mark return Mark_Id;
83 procedure SS_Release (M : Mark_Id);
111 type Mark_Id is record type
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/
H A Ds-secsta.ads77 type Mark_Id is private; type
80 function SS_Mark return Mark_Id;
83 procedure SS_Release (M : Mark_Id);
111 type Mark_Id is record type
/dports/lang/gcc6-aux/bootstrap/lib/gcc/x86_64-aux-dragonfly4.1/5.1.0/adainclude/
H A Ds-secsta.ads77 type Mark_Id is private; type
80 function SS_Mark return Mark_Id;
83 procedure SS_Release (M : Mark_Id);
111 type Mark_Id is record type
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/
H A Ds-secsta.ads66 type Mark_Id is private; type
69 function SS_Mark return Mark_Id;
72 procedure SS_Release (M : Mark_Id);
192 type Mark_Id is record type
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/libgnat/
H A Ds-secsta.ads66 type Mark_Id is private; type
69 function SS_Mark return Mark_Id;
72 procedure SS_Release (M : Mark_Id);
192 type Mark_Id is record type
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/libgnat/
H A Ds-secsta.ads66 type Mark_Id is private; type
69 function SS_Mark return Mark_Id;
72 procedure SS_Release (M : Mark_Id);
192 type Mark_Id is record type
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/
H A Ds-secsta.ads66 type Mark_Id is private; type
69 function SS_Mark return Mark_Id;
72 procedure SS_Release (M : Mark_Id);
192 type Mark_Id is record type
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/
H A Ds-secsta.ads66 type Mark_Id is private; type
69 function SS_Mark return Mark_Id;
72 procedure SS_Release (M : Mark_Id);
192 type Mark_Id is record type
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/libgnat/
H A Ds-secsta.ads66 type Mark_Id is private; type
69 function SS_Mark return Mark_Id;
72 procedure SS_Release (M : Mark_Id);
192 type Mark_Id is record type
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/libgnat/
H A Ds-secsta.ads55 type Mark_Id is private; type
92 function SS_Mark return Mark_Id;
95 procedure SS_Release (M : Mark_Id);
336 type Mark_Id is record type
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/libgnat/
H A Ds-secsta.ads55 type Mark_Id is private; type
92 function SS_Mark return Mark_Id;
95 procedure SS_Release (M : Mark_Id);
336 type Mark_Id is record type

12345