1<abi-corpus architecture='elf-amd-x86_64' soname='liburcu-mb.so.6'>
2  <elf-needed>
3    <dependency name='liburcu-common.so.6'/>
4    <dependency name='libpthread.so.0'/>
5    <dependency name='libc.so.6'/>
6    <dependency name='ld-linux-x86-64.so.2'/>
7  </elf-needed>
8  <elf-function-symbols>
9    <!-- call_rcu_after_fork_child_mb -->
10    <elf-symbol name='call_rcu_after_fork_child_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_call_rcu_after_fork_child' is-defined='yes'/>
11    <!-- call_rcu_after_fork_parent_mb -->
12    <elf-symbol name='call_rcu_after_fork_parent_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_call_rcu_after_fork_parent' is-defined='yes'/>
13    <!-- call_rcu_before_fork_mb -->
14    <elf-symbol name='call_rcu_before_fork_mb' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
15    <!-- call_rcu_data_free_mb -->
16    <elf-symbol name='call_rcu_data_free_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_call_rcu_data_free' is-defined='yes'/>
17    <!-- call_rcu_mb -->
18    <elf-symbol name='call_rcu_mb' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
19    <!-- compat_futex_async -->
20    <elf-symbol name='compat_futex_async' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
21    <!-- compat_futex_noasync -->
22    <elf-symbol name='compat_futex_noasync' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
23    <!-- create_all_cpu_call_rcu_data_mb -->
24    <elf-symbol name='create_all_cpu_call_rcu_data_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_create_all_cpu_call_rcu_data' is-defined='yes'/>
25    <!-- create_call_rcu_data_mb -->
26    <elf-symbol name='create_call_rcu_data_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_create_call_rcu_data' is-defined='yes'/>
27    <!-- defer_rcu_mb -->
28    <elf-symbol name='defer_rcu_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_defer_rcu' is-defined='yes'/>
29    <!-- free_all_cpu_call_rcu_data_mb -->
30    <elf-symbol name='free_all_cpu_call_rcu_data_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_free_all_cpu_call_rcu_data' is-defined='yes'/>
31    <!-- get_call_rcu_data_mb -->
32    <elf-symbol name='get_call_rcu_data_mb' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
33    <!-- get_call_rcu_thread_mb -->
34    <elf-symbol name='get_call_rcu_thread_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_get_call_rcu_thread' is-defined='yes'/>
35    <!-- get_cpu_call_rcu_data_mb -->
36    <elf-symbol name='get_cpu_call_rcu_data_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_get_cpu_call_rcu_data' is-defined='yes'/>
37    <!-- get_default_call_rcu_data_mb -->
38    <elf-symbol name='get_default_call_rcu_data_mb' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
39    <!-- get_thread_call_rcu_data_mb -->
40    <elf-symbol name='get_thread_call_rcu_data_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_get_thread_call_rcu_data' is-defined='yes'/>
41    <!-- rcu_barrier_mb -->
42    <elf-symbol name='rcu_barrier_mb' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
43    <!-- rcu_cmpxchg_pointer_sym -->
44    <elf-symbol name='rcu_cmpxchg_pointer_sym' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
45    <!-- rcu_defer_barrier_mb -->
46    <elf-symbol name='rcu_defer_barrier_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_defer_barrier' is-defined='yes'/>
47    <!-- rcu_defer_barrier_thread_mb -->
48    <elf-symbol name='rcu_defer_barrier_thread_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_defer_barrier_thread' is-defined='yes'/>
49    <!-- rcu_defer_exit_mb -->
50    <elf-symbol name='rcu_defer_exit_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_defer_exit' is-defined='yes'/>
51    <!-- rcu_defer_register_thread_mb -->
52    <elf-symbol name='rcu_defer_register_thread_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_defer_register_thread' is-defined='yes'/>
53    <!-- rcu_defer_unregister_thread_mb -->
54    <elf-symbol name='rcu_defer_unregister_thread_mb' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
55    <!-- rcu_dereference_sym -->
56    <elf-symbol name='rcu_dereference_sym' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
57    <!-- rcu_init_mb -->
58    <elf-symbol name='rcu_init_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_init' is-defined='yes'/>
59    <!-- rcu_read_lock_mb -->
60    <elf-symbol name='rcu_read_lock_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_read_lock' is-defined='yes'/>
61    <!-- rcu_read_ongoing_mb -->
62    <elf-symbol name='rcu_read_ongoing_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_read_ongoing' is-defined='yes'/>
63    <!-- rcu_read_unlock_mb -->
64    <elf-symbol name='rcu_read_unlock_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_read_unlock' is-defined='yes'/>
65    <!-- rcu_register_thread_mb -->
66    <elf-symbol name='rcu_register_thread_mb' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
67    <!-- rcu_set_pointer_sym -->
68    <elf-symbol name='rcu_set_pointer_sym' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
69    <!-- rcu_unregister_thread_mb -->
70    <elf-symbol name='rcu_unregister_thread_mb' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
71    <!-- rcu_xchg_pointer_sym -->
72    <elf-symbol name='rcu_xchg_pointer_sym' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
73    <!-- set_cpu_call_rcu_data_mb -->
74    <elf-symbol name='set_cpu_call_rcu_data_mb' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
75    <!-- set_thread_call_rcu_data_mb -->
76    <elf-symbol name='set_thread_call_rcu_data_mb' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
77    <!-- synchronize_rcu_mb -->
78    <elf-symbol name='synchronize_rcu_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_synchronize_rcu' is-defined='yes'/>
79    <!-- urcu_mb_barrier -->
80    <elf-symbol name='urcu_mb_barrier' type='func-type' binding='global-binding' visibility='default-visibility' alias='rcu_barrier_mb' is-defined='yes'/>
81    <!-- urcu_mb_call_rcu -->
82    <elf-symbol name='urcu_mb_call_rcu' type='func-type' binding='global-binding' visibility='default-visibility' alias='call_rcu_mb' is-defined='yes'/>
83    <!-- urcu_mb_call_rcu_after_fork_child -->
84    <elf-symbol name='urcu_mb_call_rcu_after_fork_child' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
85    <!-- urcu_mb_call_rcu_after_fork_parent -->
86    <elf-symbol name='urcu_mb_call_rcu_after_fork_parent' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
87    <!-- urcu_mb_call_rcu_before_fork -->
88    <elf-symbol name='urcu_mb_call_rcu_before_fork' type='func-type' binding='global-binding' visibility='default-visibility' alias='call_rcu_before_fork_mb' is-defined='yes'/>
89    <!-- urcu_mb_call_rcu_data_free -->
90    <elf-symbol name='urcu_mb_call_rcu_data_free' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
91    <!-- urcu_mb_create_all_cpu_call_rcu_data -->
92    <elf-symbol name='urcu_mb_create_all_cpu_call_rcu_data' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
93    <!-- urcu_mb_create_call_rcu_data -->
94    <elf-symbol name='urcu_mb_create_call_rcu_data' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
95    <!-- urcu_mb_defer_barrier -->
96    <elf-symbol name='urcu_mb_defer_barrier' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
97    <!-- urcu_mb_defer_barrier_thread -->
98    <elf-symbol name='urcu_mb_defer_barrier_thread' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
99    <!-- urcu_mb_defer_exit -->
100    <elf-symbol name='urcu_mb_defer_exit' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
101    <!-- urcu_mb_defer_rcu -->
102    <elf-symbol name='urcu_mb_defer_rcu' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
103    <!-- urcu_mb_defer_register_thread -->
104    <elf-symbol name='urcu_mb_defer_register_thread' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
105    <!-- urcu_mb_defer_unregister_thread -->
106    <elf-symbol name='urcu_mb_defer_unregister_thread' type='func-type' binding='global-binding' visibility='default-visibility' alias='rcu_defer_unregister_thread_mb' is-defined='yes'/>
107    <!-- urcu_mb_free_all_cpu_call_rcu_data -->
108    <elf-symbol name='urcu_mb_free_all_cpu_call_rcu_data' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
109    <!-- urcu_mb_get_call_rcu_data -->
110    <elf-symbol name='urcu_mb_get_call_rcu_data' type='func-type' binding='global-binding' visibility='default-visibility' alias='get_call_rcu_data_mb' is-defined='yes'/>
111    <!-- urcu_mb_get_call_rcu_thread -->
112    <elf-symbol name='urcu_mb_get_call_rcu_thread' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
113    <!-- urcu_mb_get_cpu_call_rcu_data -->
114    <elf-symbol name='urcu_mb_get_cpu_call_rcu_data' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
115    <!-- urcu_mb_get_default_call_rcu_data -->
116    <elf-symbol name='urcu_mb_get_default_call_rcu_data' type='func-type' binding='global-binding' visibility='default-visibility' alias='get_default_call_rcu_data_mb' is-defined='yes'/>
117    <!-- urcu_mb_get_thread_call_rcu_data -->
118    <elf-symbol name='urcu_mb_get_thread_call_rcu_data' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
119    <!-- urcu_mb_init -->
120    <elf-symbol name='urcu_mb_init' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
121    <!-- urcu_mb_read_lock -->
122    <elf-symbol name='urcu_mb_read_lock' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
123    <!-- urcu_mb_read_ongoing -->
124    <elf-symbol name='urcu_mb_read_ongoing' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
125    <!-- urcu_mb_read_unlock -->
126    <elf-symbol name='urcu_mb_read_unlock' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
127    <!-- urcu_mb_register_rculfhash_atfork -->
128    <elf-symbol name='urcu_mb_register_rculfhash_atfork' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_register_rculfhash_atfork_mb' is-defined='yes'/>
129    <!-- urcu_mb_register_thread -->
130    <elf-symbol name='urcu_mb_register_thread' type='func-type' binding='global-binding' visibility='default-visibility' alias='rcu_register_thread_mb' is-defined='yes'/>
131    <!-- urcu_mb_set_cpu_call_rcu_data -->
132    <elf-symbol name='urcu_mb_set_cpu_call_rcu_data' type='func-type' binding='global-binding' visibility='default-visibility' alias='set_cpu_call_rcu_data_mb' is-defined='yes'/>
133    <!-- urcu_mb_set_thread_call_rcu_data -->
134    <elf-symbol name='urcu_mb_set_thread_call_rcu_data' type='func-type' binding='global-binding' visibility='default-visibility' alias='set_thread_call_rcu_data_mb' is-defined='yes'/>
135    <!-- urcu_mb_synchronize_rcu -->
136    <elf-symbol name='urcu_mb_synchronize_rcu' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
137    <!-- urcu_mb_unregister_rculfhash_atfork -->
138    <elf-symbol name='urcu_mb_unregister_rculfhash_atfork' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
139    <!-- urcu_mb_unregister_thread -->
140    <elf-symbol name='urcu_mb_unregister_thread' type='func-type' binding='global-binding' visibility='default-visibility' alias='rcu_unregister_thread_mb' is-defined='yes'/>
141    <!-- urcu_register_rculfhash_atfork_mb -->
142    <elf-symbol name='urcu_register_rculfhash_atfork_mb' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
143    <!-- urcu_unregister_rculfhash_atfork_mb -->
144    <elf-symbol name='urcu_unregister_rculfhash_atfork_mb' type='func-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_unregister_rculfhash_atfork' is-defined='yes'/>
145  </elf-function-symbols>
146  <elf-variable-symbols>
147    <!-- __urcu_compat_futex_cond -->
148    <elf-symbol name='__urcu_compat_futex_cond' size='48' type='object-type' binding='weak-binding' visibility='default-visibility' is-defined='yes'/>
149    <!-- __urcu_compat_futex_lock -->
150    <elf-symbol name='__urcu_compat_futex_lock' size='40' type='object-type' binding='weak-binding' visibility='default-visibility' is-defined='yes'/>
151    <!-- rcu_flavor_mb -->
152    <elf-symbol name='rcu_flavor_mb' size='112' type='object-type' binding='global-binding' visibility='default-visibility' alias='urcu_mb_flavor' is-defined='yes'/>
153    <!-- rcu_gp_mb -->
154    <elf-symbol name='rcu_gp_mb' size='128' type='object-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
155    <!-- rcu_reader_mb -->
156    <elf-symbol name='rcu_reader_mb' size='256' type='tls-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
157    <!-- urcu_mb_flavor -->
158    <elf-symbol name='urcu_mb_flavor' size='112' type='object-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
159    <!-- urcu_mb_gp -->
160    <elf-symbol name='urcu_mb_gp' size='128' type='object-type' binding='global-binding' visibility='default-visibility' alias='rcu_gp_mb' is-defined='yes'/>
161    <!-- urcu_mb_reader -->
162    <elf-symbol name='urcu_mb_reader' size='256' type='tls-type' binding='global-binding' visibility='default-visibility' alias='rcu_reader_mb' is-defined='yes'/>
163  </elf-variable-symbols>
164  <abi-instr version='1.0' address-size='64' path='urcu.c' comp-dir-path='src' language='LANG_C99'>
165
166    <!-- char -->
167    <type-decl name='char' size-in-bits='8' id='type-id-1'/>
168    <!-- char[40] -->
169    <array-type-def dimensions='1' type-id='type-id-1' size-in-bits='320' id='type-id-2'>
170      <!-- <anonymous range>[40] -->
171      <subrange length='40' type-id='type-id-3' id='type-id-4'/>
172
173    </array-type-def>
174    <!-- int -->
175    <type-decl name='int' size-in-bits='32' id='type-id-5'/>
176    <!-- long int -->
177    <type-decl name='long int' size-in-bits='64' id='type-id-6'/>
178    <!-- short int -->
179    <type-decl name='short int' size-in-bits='16' id='type-id-7'/>
180    <!-- unsigned int -->
181    <type-decl name='unsigned int' size-in-bits='32' id='type-id-8'/>
182    <!-- unsigned long int -->
183    <type-decl name='unsigned long int' size-in-bits='64' id='type-id-3'/>
184    <!-- void -->
185    <type-decl name='void' id='type-id-9'/>
186    <!-- struct urcu_gp -->
187    <class-decl name='urcu_gp' size-in-bits='1024' is-struct='yes' visibility='default' filepath='../include/urcu/static/urcu-common.h' line='67' column='1' id='type-id-10'>
188      <data-member access='public' layout-offset-in-bits='0'>
189        <!-- unsigned long int urcu_gp::ctr -->
190        <var-decl name='ctr' type-id='type-id-3' visibility='default' filepath='../include/urcu/static/urcu-common.h' line='75' column='1'/>
191      </data-member>
192      <data-member access='public' layout-offset-in-bits='64'>
193        <!-- int32_t urcu_gp::futex -->
194        <var-decl name='futex' type-id='type-id-11' visibility='default' filepath='../include/urcu/static/urcu-common.h' line='77' column='1'/>
195      </data-member>
196    </class-decl>
197    <!-- typedef __int32_t int32_t -->
198    <typedef-decl name='int32_t' type-id='type-id-12' filepath='/usr/include/bits/stdint-intn.h' line='26' column='1' id='type-id-11'/>
199    <!-- typedef int __int32_t -->
200    <typedef-decl name='__int32_t' type-id='type-id-5' filepath='/usr/include/bits/types.h' line='41' column='1' id='type-id-12'/>
201    <!-- struct urcu_reader -->
202    <class-decl name='urcu_reader' size-in-bits='2048' is-struct='yes' visibility='default' filepath='../include/urcu/static/urcu-common.h' line='80' column='1' id='type-id-13'>
203      <data-member access='public' layout-offset-in-bits='0'>
204        <!-- unsigned long int urcu_reader::ctr -->
205        <var-decl name='ctr' type-id='type-id-3' visibility='default' filepath='../include/urcu/static/urcu-common.h' line='82' column='1'/>
206      </data-member>
207      <data-member access='public' layout-offset-in-bits='64'>
208        <!-- char urcu_reader::need_mb -->
209        <var-decl name='need_mb' type-id='type-id-1' visibility='default' filepath='../include/urcu/static/urcu-common.h' line='83' column='1'/>
210      </data-member>
211      <data-member access='public' layout-offset-in-bits='1024'>
212        <!-- cds_list_head urcu_reader::node -->
213        <var-decl name='node' type-id='type-id-14' visibility='default' filepath='../include/urcu/static/urcu-common.h' line='85' column='1'/>
214      </data-member>
215      <data-member access='public' layout-offset-in-bits='1152'>
216        <!-- pthread_t urcu_reader::tid -->
217        <var-decl name='tid' type-id='type-id-15' visibility='default' filepath='../include/urcu/static/urcu-common.h' line='86' column='1'/>
218      </data-member>
219      <data-member access='public' layout-offset-in-bits='31'>
220        <!-- unsigned int urcu_reader::registered -->
221        <var-decl name='registered' type-id='type-id-8' visibility='default' filepath='../include/urcu/static/urcu-common.h' line='88' column='1'/>
222      </data-member>
223    </class-decl>
224    <!-- struct cds_list_head -->
225    <class-decl name='cds_list_head' size-in-bits='128' is-struct='yes' visibility='default' filepath='../include/urcu/list.h' line='37' column='1' id='type-id-14'>
226      <data-member access='public' layout-offset-in-bits='0'>
227        <!-- cds_list_head* cds_list_head::next -->
228        <var-decl name='next' type-id='type-id-16' visibility='default' filepath='../include/urcu/list.h' line='38' column='1'/>
229      </data-member>
230      <data-member access='public' layout-offset-in-bits='64'>
231        <!-- cds_list_head* cds_list_head::prev -->
232        <var-decl name='prev' type-id='type-id-16' visibility='default' filepath='../include/urcu/list.h' line='38' column='1'/>
233      </data-member>
234    </class-decl>
235    <!-- typedef unsigned long int pthread_t -->
236    <typedef-decl name='pthread_t' type-id='type-id-3' filepath='/usr/include/bits/pthreadtypes.h' line='27' column='1' id='type-id-15'/>
237    <!-- struct rcu_flavor_struct -->
238    <class-decl name='rcu_flavor_struct' size-in-bits='896' is-struct='yes' visibility='default' filepath='../include/urcu/flavor.h' line='42' column='1' id='type-id-17'>
239      <data-member access='public' layout-offset-in-bits='0'>
240        <!-- void ()* rcu_flavor_struct::read_lock -->
241        <var-decl name='read_lock' type-id='type-id-18' visibility='default' filepath='../include/urcu/flavor.h' line='43' column='1'/>
242      </data-member>
243      <data-member access='public' layout-offset-in-bits='64'>
244        <!-- void ()* rcu_flavor_struct::read_unlock -->
245        <var-decl name='read_unlock' type-id='type-id-18' visibility='default' filepath='../include/urcu/flavor.h' line='44' column='1'/>
246      </data-member>
247      <data-member access='public' layout-offset-in-bits='128'>
248        <!-- int ()* rcu_flavor_struct::read_ongoing -->
249        <var-decl name='read_ongoing' type-id='type-id-19' visibility='default' filepath='../include/urcu/flavor.h' line='45' column='1'/>
250      </data-member>
251      <data-member access='public' layout-offset-in-bits='192'>
252        <!-- void ()* rcu_flavor_struct::read_quiescent_state -->
253        <var-decl name='read_quiescent_state' type-id='type-id-18' visibility='default' filepath='../include/urcu/flavor.h' line='46' column='1'/>
254      </data-member>
255      <data-member access='public' layout-offset-in-bits='256'>
256        <!-- void (rcu_head*, void (rcu_head*)*)* rcu_flavor_struct::update_call_rcu -->
257        <var-decl name='update_call_rcu' type-id='type-id-20' visibility='default' filepath='../include/urcu/flavor.h' line='47' column='1'/>
258      </data-member>
259      <data-member access='public' layout-offset-in-bits='320'>
260        <!-- void ()* rcu_flavor_struct::update_synchronize_rcu -->
261        <var-decl name='update_synchronize_rcu' type-id='type-id-18' visibility='default' filepath='../include/urcu/flavor.h' line='49' column='1'/>
262      </data-member>
263      <data-member access='public' layout-offset-in-bits='384'>
264        <!-- void (void (void*)*, void*)* rcu_flavor_struct::update_defer_rcu -->
265        <var-decl name='update_defer_rcu' type-id='type-id-21' visibility='default' filepath='../include/urcu/flavor.h' line='50' column='1'/>
266      </data-member>
267      <data-member access='public' layout-offset-in-bits='448'>
268        <!-- void ()* rcu_flavor_struct::thread_offline -->
269        <var-decl name='thread_offline' type-id='type-id-18' visibility='default' filepath='../include/urcu/flavor.h' line='52' column='1'/>
270      </data-member>
271      <data-member access='public' layout-offset-in-bits='512'>
272        <!-- void ()* rcu_flavor_struct::thread_online -->
273        <var-decl name='thread_online' type-id='type-id-18' visibility='default' filepath='../include/urcu/flavor.h' line='53' column='1'/>
274      </data-member>
275      <data-member access='public' layout-offset-in-bits='576'>
276        <!-- void ()* rcu_flavor_struct::register_thread -->
277        <var-decl name='register_thread' type-id='type-id-18' visibility='default' filepath='../include/urcu/flavor.h' line='54' column='1'/>
278      </data-member>
279      <data-member access='public' layout-offset-in-bits='640'>
280        <!-- void ()* rcu_flavor_struct::unregister_thread -->
281        <var-decl name='unregister_thread' type-id='type-id-18' visibility='default' filepath='../include/urcu/flavor.h' line='55' column='1'/>
282      </data-member>
283      <data-member access='public' layout-offset-in-bits='704'>
284        <!-- void ()* rcu_flavor_struct::barrier -->
285        <var-decl name='barrier' type-id='type-id-18' visibility='default' filepath='../include/urcu/flavor.h' line='57' column='1'/>
286      </data-member>
287      <data-member access='public' layout-offset-in-bits='768'>
288        <!-- void (urcu_atfork*)* rcu_flavor_struct::register_rculfhash_atfork -->
289        <var-decl name='register_rculfhash_atfork' type-id='type-id-22' visibility='default' filepath='../include/urcu/flavor.h' line='59' column='1'/>
290      </data-member>
291      <data-member access='public' layout-offset-in-bits='832'>
292        <!-- void (urcu_atfork*)* rcu_flavor_struct::unregister_rculfhash_atfork -->
293        <var-decl name='unregister_rculfhash_atfork' type-id='type-id-22' visibility='default' filepath='../include/urcu/flavor.h' line='60' column='1'/>
294      </data-member>
295    </class-decl>
296    <!-- struct rcu_head -->
297    <class-decl name='rcu_head' size-in-bits='128' is-struct='yes' visibility='default' filepath='../include/urcu/call-rcu.h' line='57' column='1' id='type-id-23'>
298      <data-member access='public' layout-offset-in-bits='0'>
299        <!-- cds_wfcq_node rcu_head::next -->
300        <var-decl name='next' type-id='type-id-24' visibility='default' filepath='../include/urcu/call-rcu.h' line='58' column='1'/>
301      </data-member>
302      <data-member access='public' layout-offset-in-bits='64'>
303        <!-- void (rcu_head*)* rcu_head::func -->
304        <var-decl name='func' type-id='type-id-25' visibility='default' filepath='../include/urcu/call-rcu.h' line='59' column='1'/>
305      </data-member>
306    </class-decl>
307    <!-- struct cds_wfcq_node -->
308    <class-decl name='cds_wfcq_node' size-in-bits='64' is-struct='yes' visibility='default' filepath='../include/urcu/wfcqueue.h' line='59' column='1' id='type-id-24'>
309      <data-member access='public' layout-offset-in-bits='0'>
310        <!-- cds_wfcq_node* cds_wfcq_node::next -->
311        <var-decl name='next' type-id='type-id-26' visibility='default' filepath='../include/urcu/wfcqueue.h' line='60' column='1'/>
312      </data-member>
313    </class-decl>
314    <!-- struct urcu_atfork -->
315    <class-decl name='urcu_atfork' size-in-bits='256' is-struct='yes' visibility='default' filepath='../include/urcu/flavor.h' line='32' column='1' id='type-id-27'>
316      <data-member access='public' layout-offset-in-bits='0'>
317        <!-- void (void*)* urcu_atfork::before_fork -->
318        <var-decl name='before_fork' type-id='type-id-28' visibility='default' filepath='../include/urcu/flavor.h' line='33' column='1'/>
319      </data-member>
320      <data-member access='public' layout-offset-in-bits='64'>
321        <!-- void (void*)* urcu_atfork::after_fork_parent -->
322        <var-decl name='after_fork_parent' type-id='type-id-28' visibility='default' filepath='../include/urcu/flavor.h' line='34' column='1'/>
323      </data-member>
324      <data-member access='public' layout-offset-in-bits='128'>
325        <!-- void (void*)* urcu_atfork::after_fork_child -->
326        <var-decl name='after_fork_child' type-id='type-id-28' visibility='default' filepath='../include/urcu/flavor.h' line='35' column='1'/>
327      </data-member>
328      <data-member access='public' layout-offset-in-bits='192'>
329        <!-- void* urcu_atfork::priv -->
330        <var-decl name='priv' type-id='type-id-29' visibility='default' filepath='../include/urcu/flavor.h' line='36' column='1'/>
331      </data-member>
332    </class-decl>
333    <!-- struct call_rcu_data -->
334    <class-decl name='call_rcu_data' size-in-bits='1024' is-struct='yes' visibility='default' filepath='src/urcu-call-rcu-impl.h' line='53' column='1' id='type-id-30'>
335      <data-member access='public' layout-offset-in-bits='0'>
336        <!-- cds_wfcq_tail call_rcu_data::cbs_tail -->
337        <var-decl name='cbs_tail' type-id='type-id-31' visibility='default' filepath='src/urcu-call-rcu-impl.h' line='61' column='1'/>
338      </data-member>
339      <data-member access='public' layout-offset-in-bits='64'>
340        <!-- cds_wfcq_head call_rcu_data::cbs_head -->
341        <var-decl name='cbs_head' type-id='type-id-32' visibility='default' filepath='src/urcu-call-rcu-impl.h' line='62' column='1'/>
342      </data-member>
343      <data-member access='public' layout-offset-in-bits='448'>
344        <!-- unsigned long int call_rcu_data::flags -->
345        <var-decl name='flags' type-id='type-id-3' visibility='default' filepath='src/urcu-call-rcu-impl.h' line='63' column='1'/>
346      </data-member>
347      <data-member access='public' layout-offset-in-bits='512'>
348        <!-- int32_t call_rcu_data::futex -->
349        <var-decl name='futex' type-id='type-id-11' visibility='default' filepath='src/urcu-call-rcu-impl.h' line='64' column='1'/>
350      </data-member>
351      <data-member access='public' layout-offset-in-bits='576'>
352        <!-- unsigned long int call_rcu_data::qlen -->
353        <var-decl name='qlen' type-id='type-id-3' visibility='default' filepath='src/urcu-call-rcu-impl.h' line='65' column='1'/>
354      </data-member>
355      <data-member access='public' layout-offset-in-bits='640'>
356        <!-- pthread_t call_rcu_data::tid -->
357        <var-decl name='tid' type-id='type-id-15' visibility='default' filepath='src/urcu-call-rcu-impl.h' line='66' column='1'/>
358      </data-member>
359      <data-member access='public' layout-offset-in-bits='704'>
360        <!-- int call_rcu_data::cpu_affinity -->
361        <var-decl name='cpu_affinity' type-id='type-id-5' visibility='default' filepath='src/urcu-call-rcu-impl.h' line='67' column='1'/>
362      </data-member>
363      <data-member access='public' layout-offset-in-bits='768'>
364        <!-- unsigned long int call_rcu_data::gp_count -->
365        <var-decl name='gp_count' type-id='type-id-3' visibility='default' filepath='src/urcu-call-rcu-impl.h' line='68' column='1'/>
366      </data-member>
367      <data-member access='public' layout-offset-in-bits='832'>
368        <!-- cds_list_head call_rcu_data::list -->
369        <var-decl name='list' type-id='type-id-14' visibility='default' filepath='src/urcu-call-rcu-impl.h' line='69' column='1'/>
370      </data-member>
371    </class-decl>
372    <!-- struct cds_wfcq_tail -->
373    <class-decl name='cds_wfcq_tail' size-in-bits='64' is-struct='yes' visibility='default' filepath='../include/urcu/wfcqueue.h' line='127' column='1' id='type-id-31'>
374      <data-member access='public' layout-offset-in-bits='0'>
375        <!-- cds_wfcq_node* cds_wfcq_tail::p -->
376        <var-decl name='p' type-id='type-id-26' visibility='default' filepath='../include/urcu/wfcqueue.h' line='128' column='1'/>
377      </data-member>
378    </class-decl>
379    <!-- struct cds_wfcq_head -->
380    <class-decl name='cds_wfcq_head' size-in-bits='384' is-struct='yes' visibility='default' filepath='../include/urcu/wfcqueue.h' line='72' column='1' id='type-id-32'>
381      <data-member access='public' layout-offset-in-bits='0'>
382        <!-- cds_wfcq_node cds_wfcq_head::node -->
383        <var-decl name='node' type-id='type-id-24' visibility='default' filepath='../include/urcu/wfcqueue.h' line='73' column='1'/>
384      </data-member>
385      <data-member access='public' layout-offset-in-bits='64'>
386        <!-- pthread_mutex_t cds_wfcq_head::lock -->
387        <var-decl name='lock' type-id='type-id-33' visibility='default' filepath='../include/urcu/wfcqueue.h' line='74' column='1'/>
388      </data-member>
389    </class-decl>
390    <!-- typedef __anonymous_union__ pthread_mutex_t -->
391    <typedef-decl name='pthread_mutex_t' type-id='type-id-34' filepath='/usr/include/bits/pthreadtypes.h' line='72' column='1' id='type-id-33'/>
392    <!-- union {__pthread_mutex_s __data; char __size[40]; long int __align;} -->
393    <union-decl name='__anonymous_union__' size-in-bits='320' is-anonymous='yes' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='67' column='1' id='type-id-34'>
394      <data-member access='private'>
395        <!-- __pthread_mutex_s __data -->
396        <var-decl name='__data' type-id='type-id-35' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='69' column='1'/>
397      </data-member>
398      <data-member access='private'>
399        <!-- char __size[40] -->
400        <var-decl name='__size' type-id='type-id-2' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='70' column='1'/>
401      </data-member>
402      <data-member access='private'>
403        <!-- long int __align -->
404        <var-decl name='__align' type-id='type-id-6' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='71' column='1'/>
405      </data-member>
406    </union-decl>
407    <!-- struct __pthread_mutex_s -->
408    <class-decl name='__pthread_mutex_s' size-in-bits='320' is-struct='yes' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='22' column='1' id='type-id-35'>
409      <data-member access='public' layout-offset-in-bits='0'>
410        <!-- int __pthread_mutex_s::__lock -->
411        <var-decl name='__lock' type-id='type-id-5' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='24' column='1'/>
412      </data-member>
413      <data-member access='public' layout-offset-in-bits='32'>
414        <!-- unsigned int __pthread_mutex_s::__count -->
415        <var-decl name='__count' type-id='type-id-8' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='25' column='1'/>
416      </data-member>
417      <data-member access='public' layout-offset-in-bits='64'>
418        <!-- int __pthread_mutex_s::__owner -->
419        <var-decl name='__owner' type-id='type-id-5' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='26' column='1'/>
420      </data-member>
421      <data-member access='public' layout-offset-in-bits='96'>
422        <!-- unsigned int __pthread_mutex_s::__nusers -->
423        <var-decl name='__nusers' type-id='type-id-8' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='28' column='1'/>
424      </data-member>
425      <data-member access='public' layout-offset-in-bits='128'>
426        <!-- int __pthread_mutex_s::__kind -->
427        <var-decl name='__kind' type-id='type-id-5' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='32' column='1'/>
428      </data-member>
429      <data-member access='public' layout-offset-in-bits='160'>
430        <!-- short int __pthread_mutex_s::__spins -->
431        <var-decl name='__spins' type-id='type-id-7' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='34' column='1'/>
432      </data-member>
433      <data-member access='public' layout-offset-in-bits='176'>
434        <!-- short int __pthread_mutex_s::__elision -->
435        <var-decl name='__elision' type-id='type-id-7' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='35' column='1'/>
436      </data-member>
437      <data-member access='public' layout-offset-in-bits='192'>
438        <!-- __pthread_list_t __pthread_mutex_s::__list -->
439        <var-decl name='__list' type-id='type-id-36' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='36' column='1'/>
440      </data-member>
441    </class-decl>
442    <!-- typedef __pthread_internal_list __pthread_list_t -->
443    <typedef-decl name='__pthread_list_t' type-id='type-id-37' filepath='/usr/include/bits/thread-shared-types.h' line='53' column='1' id='type-id-36'/>
444    <!-- struct __pthread_internal_list -->
445    <class-decl name='__pthread_internal_list' size-in-bits='128' is-struct='yes' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='49' column='1' id='type-id-37'>
446      <data-member access='public' layout-offset-in-bits='0'>
447        <!-- __pthread_internal_list* __pthread_internal_list::__prev -->
448        <var-decl name='__prev' type-id='type-id-38' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='51' column='1'/>
449      </data-member>
450      <data-member access='public' layout-offset-in-bits='64'>
451        <!-- __pthread_internal_list* __pthread_internal_list::__next -->
452        <var-decl name='__next' type-id='type-id-38' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='52' column='1'/>
453      </data-member>
454    </class-decl>
455    <!-- __pthread_internal_list* -->
456    <pointer-type-def type-id='type-id-37' size-in-bits='64' id='type-id-38'/>
457    <!-- call_rcu_data* -->
458    <pointer-type-def type-id='type-id-30' size-in-bits='64' id='type-id-39'/>
459    <!-- cds_list_head* -->
460    <pointer-type-def type-id='type-id-14' size-in-bits='64' id='type-id-16'/>
461    <!-- cds_wfcq_node* -->
462    <pointer-type-def type-id='type-id-24' size-in-bits='64' id='type-id-26'/>
463    <!-- const rcu_flavor_struct -->
464    <qualified-type-def type-id='type-id-17' const='yes' id='type-id-40'/>
465    <!-- int ()* -->
466    <pointer-type-def type-id='type-id-41' size-in-bits='64' id='type-id-19'/>
467    <!-- rcu_head* -->
468    <pointer-type-def type-id='type-id-23' size-in-bits='64' id='type-id-42'/>
469    <!-- urcu_atfork* -->
470    <pointer-type-def type-id='type-id-27' size-in-bits='64' id='type-id-43'/>
471    <!-- void ()* -->
472    <pointer-type-def type-id='type-id-44' size-in-bits='64' id='type-id-18'/>
473    <!-- void (rcu_head*)* -->
474    <pointer-type-def type-id='type-id-45' size-in-bits='64' id='type-id-25'/>
475    <!-- void (rcu_head*, void (rcu_head*)*)* -->
476    <pointer-type-def type-id='type-id-46' size-in-bits='64' id='type-id-20'/>
477    <!-- void (urcu_atfork*)* -->
478    <pointer-type-def type-id='type-id-47' size-in-bits='64' id='type-id-22'/>
479    <!-- void (void (void*)*, void*)* -->
480    <pointer-type-def type-id='type-id-48' size-in-bits='64' id='type-id-21'/>
481    <!-- void (void*)* -->
482    <pointer-type-def type-id='type-id-49' size-in-bits='64' id='type-id-28'/>
483    <!-- void* -->
484    <pointer-type-def type-id='type-id-9' size-in-bits='64' id='type-id-29'/>
485    <!-- urcu_gp urcu_mb_gp -->
486    <var-decl name='urcu_mb_gp' type-id='type-id-10' mangled-name='urcu_mb_gp' visibility='default' filepath='../include/urcu/static/urcu-mb.h' line='60' column='1' elf-symbol-id='urcu_mb_gp'/>
487    <!-- urcu_reader urcu_mb_reader -->
488    <var-decl name='urcu_mb_reader' type-id='type-id-13' mangled-name='urcu_mb_reader' visibility='default' filepath='../include/urcu/static/urcu-mb.h' line='62' column='1' elf-symbol-id='urcu_mb_reader'/>
489    <!-- const rcu_flavor_struct urcu_mb_flavor -->
490    <var-decl name='urcu_mb_flavor' type-id='type-id-40' mangled-name='rcu_flavor_mb' visibility='default' filepath='../include/urcu/flavor.h' line='90' column='1' elf-symbol-id='rcu_flavor_mb'/>
491    <!-- void urcu_mb_defer_exit() -->
492    <function-decl name='urcu_mb_defer_exit' mangled-name='rcu_defer_exit_mb' filepath='src/urcu-defer-impl.h' line='476' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='rcu_defer_exit_mb'>
493      <!-- void -->
494      <return type-id='type-id-9'/>
495    </function-decl>
496    <!-- void urcu_mb_defer_unregister_thread() -->
497    <function-decl name='urcu_mb_defer_unregister_thread' mangled-name='urcu_mb_defer_unregister_thread' filepath='src/urcu-defer-impl.h' line='456' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_mb_defer_unregister_thread'>
498      <!-- void -->
499      <return type-id='type-id-9'/>
500    </function-decl>
501    <!-- int urcu_mb_defer_register_thread() -->
502    <function-decl name='urcu_mb_defer_register_thread' mangled-name='rcu_defer_register_thread_mb' filepath='src/urcu-defer-impl.h' line='432' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='rcu_defer_register_thread_mb'>
503      <!-- int -->
504      <return type-id='type-id-5'/>
505    </function-decl>
506    <!-- void urcu_mb_defer_rcu(void (void*)*, void*) -->
507    <function-decl name='urcu_mb_defer_rcu' mangled-name='defer_rcu_mb' filepath='src/urcu-defer-impl.h' line='400' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='defer_rcu_mb'>
508      <!-- parameter of type 'void (void*)*' -->
509      <parameter type-id='type-id-28' name='fct' filepath='src/urcu-defer-impl.h' line='400' column='1'/>
510      <!-- parameter of type 'void*' -->
511      <parameter type-id='type-id-29' name='p' filepath='src/urcu-defer-impl.h' line='400' column='1'/>
512      <!-- void -->
513      <return type-id='type-id-9'/>
514    </function-decl>
515    <!-- void urcu_mb_defer_barrier() -->
516    <function-decl name='urcu_mb_defer_barrier' mangled-name='rcu_defer_barrier_mb' filepath='src/urcu-defer-impl.h' line='284' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='rcu_defer_barrier_mb'>
517      <!-- void -->
518      <return type-id='type-id-9'/>
519    </function-decl>
520    <!-- void urcu_mb_defer_barrier_thread() -->
521    <function-decl name='urcu_mb_defer_barrier_thread' mangled-name='rcu_defer_barrier_thread_mb' filepath='src/urcu-defer-impl.h' line='262' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='rcu_defer_barrier_thread_mb'>
522      <!-- void -->
523      <return type-id='type-id-9'/>
524    </function-decl>
525    <!-- void urcu_mb_unregister_rculfhash_atfork(urcu_atfork*) -->
526    <function-decl name='urcu_mb_unregister_rculfhash_atfork' mangled-name='urcu_unregister_rculfhash_atfork_mb' filepath='src/urcu-call-rcu-impl.h' line='1056' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_unregister_rculfhash_atfork_mb'>
527      <!-- parameter of type 'urcu_atfork*' -->
528      <parameter type-id='type-id-43' name='atfork' filepath='src/urcu-call-rcu-impl.h' line='1056' column='1'/>
529      <!-- void -->
530      <return type-id='type-id-9'/>
531    </function-decl>
532    <!-- void urcu_mb_register_rculfhash_atfork(urcu_atfork*) -->
533    <function-decl name='urcu_mb_register_rculfhash_atfork' mangled-name='urcu_mb_register_rculfhash_atfork' filepath='src/urcu-call-rcu-impl.h' line='1044' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_mb_register_rculfhash_atfork'>
534      <!-- parameter of type 'urcu_atfork*' -->
535      <parameter type-id='type-id-43' name='atfork' filepath='src/urcu-call-rcu-impl.h' line='1044' column='1'/>
536      <!-- void -->
537      <return type-id='type-id-9'/>
538    </function-decl>
539    <!-- void urcu_mb_call_rcu_after_fork_child() -->
540    <function-decl name='urcu_mb_call_rcu_after_fork_child' mangled-name='call_rcu_after_fork_child_mb' filepath='src/urcu-call-rcu-impl.h' line='1000' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='call_rcu_after_fork_child_mb'>
541      <!-- void -->
542      <return type-id='type-id-9'/>
543    </function-decl>
544    <!-- void urcu_mb_call_rcu_after_fork_parent() -->
545    <function-decl name='urcu_mb_call_rcu_after_fork_parent' mangled-name='call_rcu_after_fork_parent_mb' filepath='src/urcu-call-rcu-impl.h' line='976' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='call_rcu_after_fork_parent_mb'>
546      <!-- void -->
547      <return type-id='type-id-9'/>
548    </function-decl>
549    <!-- void urcu_mb_call_rcu_before_fork() -->
550    <function-decl name='urcu_mb_call_rcu_before_fork' mangled-name='urcu_mb_call_rcu_before_fork' filepath='src/urcu-call-rcu-impl.h' line='947' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_mb_call_rcu_before_fork'>
551      <!-- void -->
552      <return type-id='type-id-9'/>
553    </function-decl>
554    <!-- void urcu_mb_barrier() -->
555    <function-decl name='urcu_mb_barrier' mangled-name='urcu_mb_barrier' filepath='src/urcu-call-rcu-impl.h' line='874' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_mb_barrier'>
556      <!-- void -->
557      <return type-id='type-id-9'/>
558    </function-decl>
559    <!-- void urcu_mb_free_all_cpu_call_rcu_data() -->
560    <function-decl name='urcu_mb_free_all_cpu_call_rcu_data' mangled-name='free_all_cpu_call_rcu_data_mb' filepath='src/urcu-call-rcu-impl.h' line='801' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='free_all_cpu_call_rcu_data_mb'>
561      <!-- void -->
562      <return type-id='type-id-9'/>
563    </function-decl>
564    <!-- void urcu_mb_call_rcu_data_free(call_rcu_data*) -->
565    <function-decl name='urcu_mb_call_rcu_data_free' mangled-name='call_rcu_data_free_mb' filepath='src/urcu-call-rcu-impl.h' line='764' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='call_rcu_data_free_mb'>
566      <!-- parameter of type 'call_rcu_data*' -->
567      <parameter type-id='type-id-39' name='crdp' filepath='src/urcu-call-rcu-impl.h' line='764' column='1'/>
568      <!-- void -->
569      <return type-id='type-id-9'/>
570    </function-decl>
571    <!-- void urcu_mb_call_rcu(rcu_head*, void (rcu_head*)*) -->
572    <function-decl name='urcu_mb_call_rcu' mangled-name='urcu_mb_call_rcu' filepath='src/urcu-call-rcu-impl.h' line='725' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_mb_call_rcu'>
573      <!-- parameter of type 'rcu_head*' -->
574      <parameter type-id='type-id-42' name='head' filepath='src/urcu-call-rcu-impl.h' line='725' column='1'/>
575      <!-- parameter of type 'void (rcu_head*)*' -->
576      <parameter type-id='type-id-25' name='func' filepath='src/urcu-call-rcu-impl.h' line='726' column='1'/>
577      <!-- void -->
578      <return type-id='type-id-9'/>
579    </function-decl>
580    <!-- int urcu_mb_create_all_cpu_call_rcu_data(unsigned long int) -->
581    <function-decl name='urcu_mb_create_all_cpu_call_rcu_data' mangled-name='create_all_cpu_call_rcu_data_mb' filepath='src/urcu-call-rcu-impl.h' line='645' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='create_all_cpu_call_rcu_data_mb'>
582      <!-- parameter of type 'unsigned long int' -->
583      <parameter type-id='type-id-3' name='flags' filepath='src/urcu-call-rcu-impl.h' line='645' column='1'/>
584      <!-- int -->
585      <return type-id='type-id-5'/>
586    </function-decl>
587    <!-- void urcu_mb_set_thread_call_rcu_data(call_rcu_data*) -->
588    <function-decl name='urcu_mb_set_thread_call_rcu_data' mangled-name='urcu_mb_set_thread_call_rcu_data' filepath='src/urcu-call-rcu-impl.h' line='630' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_mb_set_thread_call_rcu_data'>
589      <!-- parameter of type 'call_rcu_data*' -->
590      <parameter type-id='type-id-39' name='crdp' filepath='src/urcu-call-rcu-impl.h' line='630' column='1'/>
591      <!-- void -->
592      <return type-id='type-id-9'/>
593    </function-decl>
594    <!-- call_rcu_data* urcu_mb_get_thread_call_rcu_data() -->
595    <function-decl name='urcu_mb_get_thread_call_rcu_data' mangled-name='get_thread_call_rcu_data_mb' filepath='src/urcu-call-rcu-impl.h' line='612' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='get_thread_call_rcu_data_mb'>
596      <!-- call_rcu_data* -->
597      <return type-id='type-id-39'/>
598    </function-decl>
599    <!-- call_rcu_data* urcu_mb_get_call_rcu_data() -->
600    <function-decl name='urcu_mb_get_call_rcu_data' mangled-name='urcu_mb_get_call_rcu_data' filepath='src/urcu-call-rcu-impl.h' line='590' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_mb_get_call_rcu_data'>
601      <!-- call_rcu_data* -->
602      <return type-id='type-id-39'/>
603    </function-decl>
604    <!-- call_rcu_data* urcu_mb_get_default_call_rcu_data() -->
605    <function-decl name='urcu_mb_get_default_call_rcu_data' mangled-name='urcu_mb_get_default_call_rcu_data' filepath='src/urcu-call-rcu-impl.h' line='563' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_mb_get_default_call_rcu_data'>
606      <!-- call_rcu_data* -->
607      <return type-id='type-id-39'/>
608    </function-decl>
609    <!-- int urcu_mb_set_cpu_call_rcu_data(int, call_rcu_data*) -->
610    <function-decl name='urcu_mb_set_cpu_call_rcu_data' mangled-name='urcu_mb_set_cpu_call_rcu_data' filepath='src/urcu-call-rcu-impl.h' line='522' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_mb_set_cpu_call_rcu_data'>
611      <!-- parameter of type 'int' -->
612      <parameter type-id='type-id-5' name='cpu' filepath='src/urcu-call-rcu-impl.h' line='522' column='1'/>
613      <!-- parameter of type 'call_rcu_data*' -->
614      <parameter type-id='type-id-39' name='crdp' filepath='src/urcu-call-rcu-impl.h' line='522' column='1'/>
615      <!-- int -->
616      <return type-id='type-id-5'/>
617    </function-decl>
618    <!-- call_rcu_data* urcu_mb_create_call_rcu_data(unsigned long int, int) -->
619    <function-decl name='urcu_mb_create_call_rcu_data' mangled-name='create_call_rcu_data_mb' filepath='src/urcu-call-rcu-impl.h' line='498' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='create_call_rcu_data_mb'>
620      <!-- parameter of type 'unsigned long int' -->
621      <parameter type-id='type-id-3' name='flags' filepath='src/urcu-call-rcu-impl.h' line='498' column='1'/>
622      <!-- parameter of type 'int' -->
623      <parameter type-id='type-id-5' name='cpu_affinity' filepath='src/urcu-call-rcu-impl.h' line='499' column='1'/>
624      <!-- call_rcu_data* -->
625      <return type-id='type-id-39'/>
626    </function-decl>
627    <!-- pthread_t urcu_mb_get_call_rcu_thread(call_rcu_data*) -->
628    <function-decl name='urcu_mb_get_call_rcu_thread' mangled-name='get_call_rcu_thread_mb' filepath='src/urcu-call-rcu-impl.h' line='476' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='get_call_rcu_thread_mb'>
629      <!-- parameter of type 'call_rcu_data*' -->
630      <parameter type-id='type-id-39' name='crdp' filepath='src/urcu-call-rcu-impl.h' line='476' column='1'/>
631      <!-- typedef pthread_t -->
632      <return type-id='type-id-15'/>
633    </function-decl>
634    <!-- call_rcu_data* urcu_mb_get_cpu_call_rcu_data(int) -->
635    <function-decl name='urcu_mb_get_cpu_call_rcu_data' mangled-name='get_cpu_call_rcu_data_mb' filepath='src/urcu-call-rcu-impl.h' line='452' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='get_cpu_call_rcu_data_mb'>
636      <!-- parameter of type 'int' -->
637      <parameter type-id='type-id-5' name='cpu' filepath='src/urcu-call-rcu-impl.h' line='452' column='1'/>
638      <!-- call_rcu_data* -->
639      <return type-id='type-id-39'/>
640    </function-decl>
641    <!-- void urcu_mb_unregister_thread() -->
642    <function-decl name='urcu_mb_unregister_thread' mangled-name='urcu_mb_unregister_thread' filepath='src/urcu.c' line='563' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_mb_unregister_thread'>
643      <!-- void -->
644      <return type-id='type-id-9'/>
645    </function-decl>
646    <!-- void urcu_mb_register_thread() -->
647    <function-decl name='urcu_mb_register_thread' mangled-name='urcu_mb_register_thread' filepath='src/urcu.c' line='547' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_mb_register_thread'>
648      <!-- void -->
649      <return type-id='type-id-9'/>
650    </function-decl>
651    <!-- int urcu_mb_read_ongoing() -->
652    <function-decl name='urcu_mb_read_ongoing' mangled-name='rcu_read_ongoing_mb' filepath='src/urcu.c' line='540' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='rcu_read_ongoing_mb'>
653      <!-- int -->
654      <return type-id='type-id-5'/>
655    </function-decl>
656    <!-- void urcu_mb_read_unlock() -->
657    <function-decl name='urcu_mb_read_unlock' mangled-name='rcu_read_unlock_mb' filepath='src/urcu.c' line='533' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='rcu_read_unlock_mb'>
658      <!-- void -->
659      <return type-id='type-id-9'/>
660    </function-decl>
661    <!-- void urcu_mb_read_lock() -->
662    <function-decl name='urcu_mb_read_lock' mangled-name='rcu_read_lock_mb' filepath='src/urcu.c' line='526' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='rcu_read_lock_mb'>
663      <!-- void -->
664      <return type-id='type-id-9'/>
665    </function-decl>
666    <!-- void urcu_mb_synchronize_rcu() -->
667    <function-decl name='urcu_mb_synchronize_rcu' mangled-name='synchronize_rcu_mb' filepath='src/urcu.c' line='403' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='synchronize_rcu_mb'>
668      <!-- void -->
669      <return type-id='type-id-9'/>
670    </function-decl>
671    <!-- void urcu_mb_init() -->
672    <function-decl name='urcu_mb_init' mangled-name='rcu_init_mb' filepath='src/urcu.c' line='105' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='rcu_init_mb'>
673      <!-- void -->
674      <return type-id='type-id-9'/>
675    </function-decl>
676    <!-- int () -->
677    <function-type size-in-bits='64' id='type-id-41'>
678      <!-- int -->
679      <return type-id='type-id-5'/>
680    </function-type>
681    <!-- void () -->
682    <function-type size-in-bits='64' id='type-id-44'>
683      <!-- void -->
684      <return type-id='type-id-9'/>
685    </function-type>
686    <!-- void (rcu_head*) -->
687    <function-type size-in-bits='64' id='type-id-45'>
688      <!-- parameter of type 'rcu_head*' -->
689      <parameter type-id='type-id-42'/>
690      <!-- void -->
691      <return type-id='type-id-9'/>
692    </function-type>
693    <!-- void (rcu_head*, void (rcu_head*)*) -->
694    <function-type size-in-bits='64' id='type-id-46'>
695      <!-- parameter of type 'rcu_head*' -->
696      <parameter type-id='type-id-42'/>
697      <!-- parameter of type 'void (rcu_head*)*' -->
698      <parameter type-id='type-id-25'/>
699      <!-- void -->
700      <return type-id='type-id-9'/>
701    </function-type>
702    <!-- void (urcu_atfork*) -->
703    <function-type size-in-bits='64' id='type-id-47'>
704      <!-- parameter of type 'urcu_atfork*' -->
705      <parameter type-id='type-id-43'/>
706      <!-- void -->
707      <return type-id='type-id-9'/>
708    </function-type>
709    <!-- void (void (void*)*, void*) -->
710    <function-type size-in-bits='64' id='type-id-48'>
711      <!-- parameter of type 'void (void*)*' -->
712      <parameter type-id='type-id-28'/>
713      <!-- parameter of type 'void*' -->
714      <parameter type-id='type-id-29'/>
715      <!-- void -->
716      <return type-id='type-id-9'/>
717    </function-type>
718    <!-- void (void*) -->
719    <function-type size-in-bits='64' id='type-id-49'>
720      <!-- parameter of type 'void*' -->
721      <parameter type-id='type-id-29'/>
722      <!-- void -->
723      <return type-id='type-id-9'/>
724    </function-type>
725  </abi-instr>
726  <abi-instr version='1.0' address-size='64' path='urcu-pointer.c' comp-dir-path='src' language='LANG_C99'>
727    <!-- void** -->
728    <pointer-type-def type-id='type-id-29' size-in-bits='64' id='type-id-50'/>
729    <!-- void* rcu_cmpxchg_pointer_sym(void**, void*, void*) -->
730    <function-decl name='rcu_cmpxchg_pointer_sym' mangled-name='rcu_cmpxchg_pointer_sym' filepath='src/urcu-pointer.c' line='53' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='rcu_cmpxchg_pointer_sym'>
731      <!-- parameter of type 'void**' -->
732      <parameter type-id='type-id-50' name='p' filepath='src/urcu-pointer.c' line='53' column='1'/>
733      <!-- parameter of type 'void*' -->
734      <parameter type-id='type-id-29' name='old' filepath='src/urcu-pointer.c' line='53' column='1'/>
735      <!-- parameter of type 'void*' -->
736      <parameter type-id='type-id-29' name='_new' filepath='src/urcu-pointer.c' line='53' column='1'/>
737      <!-- void* -->
738      <return type-id='type-id-29'/>
739    </function-decl>
740    <!-- void* rcu_xchg_pointer_sym(void**, void*) -->
741    <function-decl name='rcu_xchg_pointer_sym' mangled-name='rcu_xchg_pointer_sym' filepath='src/urcu-pointer.c' line='47' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='rcu_xchg_pointer_sym'>
742      <!-- parameter of type 'void**' -->
743      <parameter type-id='type-id-50' name='p' filepath='src/urcu-pointer.c' line='47' column='1'/>
744      <!-- parameter of type 'void*' -->
745      <parameter type-id='type-id-29' name='v' filepath='src/urcu-pointer.c' line='47' column='1'/>
746      <!-- void* -->
747      <return type-id='type-id-29'/>
748    </function-decl>
749    <!-- void* rcu_set_pointer_sym(void**, void*) -->
750    <function-decl name='rcu_set_pointer_sym' mangled-name='rcu_set_pointer_sym' filepath='src/urcu-pointer.c' line='40' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='rcu_set_pointer_sym'>
751      <!-- parameter of type 'void**' -->
752      <parameter type-id='type-id-50' name='p' filepath='src/urcu-pointer.c' line='40' column='1'/>
753      <!-- parameter of type 'void*' -->
754      <parameter type-id='type-id-29' name='v' filepath='src/urcu-pointer.c' line='40' column='1'/>
755      <!-- void* -->
756      <return type-id='type-id-29'/>
757    </function-decl>
758    <!-- void* rcu_dereference_sym(void*) -->
759    <function-decl name='rcu_dereference_sym' mangled-name='rcu_dereference_sym' filepath='src/urcu-pointer.c' line='35' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='rcu_dereference_sym'>
760      <!-- parameter of type 'void*' -->
761      <parameter type-id='type-id-29' name='p' filepath='src/urcu-pointer.c' line='35' column='1'/>
762      <!-- void* -->
763      <return type-id='type-id-29'/>
764    </function-decl>
765  </abi-instr>
766  <abi-instr version='1.0' address-size='64' path='compat_futex.c' comp-dir-path='src' language='LANG_C99'>
767
768
769    <!-- char[48] -->
770    <array-type-def dimensions='1' type-id='type-id-1' size-in-bits='384' id='type-id-51'>
771      <!-- <anonymous range>[48] -->
772      <subrange length='48' type-id='type-id-3' id='type-id-52'/>
773
774    </array-type-def>
775    <!-- long long int -->
776    <type-decl name='long long int' size-in-bits='64' id='type-id-53'/>
777    <!-- long long unsigned int -->
778    <type-decl name='long long unsigned int' size-in-bits='64' id='type-id-54'/>
779    <!-- unsigned int[2] -->
780    <array-type-def dimensions='1' type-id='type-id-8' size-in-bits='64' id='type-id-55'>
781      <!-- <anonymous range>[2] -->
782      <subrange length='2' type-id='type-id-3' id='type-id-56'/>
783
784    </array-type-def>
785    <!-- typedef __anonymous_union__ pthread_cond_t -->
786    <typedef-decl name='pthread_cond_t' type-id='type-id-57' filepath='/usr/include/bits/pthreadtypes.h' line='80' column='1' id='type-id-58'/>
787    <!-- union {__pthread_cond_s __data; char __size[48]; long long int __align;} -->
788    <union-decl name='__anonymous_union__' size-in-bits='384' is-anonymous='yes' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='75' column='1' id='type-id-57'>
789      <data-member access='private'>
790        <!-- __pthread_cond_s __data -->
791        <var-decl name='__data' type-id='type-id-59' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='77' column='1'/>
792      </data-member>
793      <data-member access='private'>
794        <!-- char __size[48] -->
795        <var-decl name='__size' type-id='type-id-51' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='78' column='1'/>
796      </data-member>
797      <data-member access='private'>
798        <!-- long long int __align -->
799        <var-decl name='__align' type-id='type-id-53' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='79' column='1'/>
800      </data-member>
801    </union-decl>
802    <!-- struct __pthread_cond_s -->
803    <class-decl name='__pthread_cond_s' size-in-bits='384' is-struct='yes' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='92' column='1' id='type-id-59'>
804      <data-member access='public' layout-offset-in-bits='0'>
805        <!-- union {long long unsigned int __wseq; struct {unsigned int __low; unsigned int __high;} __wseq32;} -->
806        <var-decl name='' type-id='type-id-60' visibility='default'/>
807      </data-member>
808      <data-member access='public' layout-offset-in-bits='128'>
809        <!-- unsigned int __pthread_cond_s::__g_refs[2] -->
810        <var-decl name='__g_refs' type-id='type-id-55' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='112' column='1'/>
811      </data-member>
812      <data-member access='public' layout-offset-in-bits='192'>
813        <!-- unsigned int __pthread_cond_s::__g_size[2] -->
814        <var-decl name='__g_size' type-id='type-id-55' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='113' column='1'/>
815      </data-member>
816      <data-member access='public' layout-offset-in-bits='256'>
817        <!-- unsigned int __pthread_cond_s::__g1_orig_size -->
818        <var-decl name='__g1_orig_size' type-id='type-id-8' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='114' column='1'/>
819      </data-member>
820      <data-member access='public' layout-offset-in-bits='288'>
821        <!-- unsigned int __pthread_cond_s::__wrefs -->
822        <var-decl name='__wrefs' type-id='type-id-8' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='115' column='1'/>
823      </data-member>
824      <data-member access='public' layout-offset-in-bits='320'>
825        <!-- unsigned int __pthread_cond_s::__g_signals[2] -->
826        <var-decl name='__g_signals' type-id='type-id-55' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='116' column='1'/>
827      </data-member>
828    </class-decl>
829    <!-- union {long long unsigned int __wseq; struct {unsigned int __low; unsigned int __high;} __wseq32;} -->
830    <union-decl name='__anonymous_union__1' size-in-bits='64' is-anonymous='yes' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='94' column='1' id='type-id-60'>
831      <data-member access='private'>
832        <!-- long long unsigned int __wseq -->
833        <var-decl name='__wseq' type-id='type-id-54' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='96' column='1'/>
834      </data-member>
835      <data-member access='private'>
836        <!-- struct {unsigned int __low; unsigned int __high;} __wseq32 -->
837        <var-decl name='__wseq32' type-id='type-id-61' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='101' column='1'/>
838      </data-member>
839    </union-decl>
840    <!-- struct {unsigned int __low; unsigned int __high;} -->
841    <class-decl name='__anonymous_struct__' size-in-bits='64' is-struct='yes' is-anonymous='yes' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='97' column='1' id='type-id-61'>
842      <data-member access='public' layout-offset-in-bits='0'>
843        <!-- unsigned int __low -->
844        <var-decl name='__low' type-id='type-id-8' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='99' column='1'/>
845      </data-member>
846      <data-member access='public' layout-offset-in-bits='32'>
847        <!-- unsigned int __high -->
848        <var-decl name='__high' type-id='type-id-8' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='100' column='1'/>
849      </data-member>
850    </class-decl>
851    <!-- struct timespec -->
852    <class-decl name='timespec' size-in-bits='128' is-struct='yes' visibility='default' filepath='/usr/include/bits/types/struct_timespec.h' line='10' column='1' id='type-id-62'>
853      <data-member access='public' layout-offset-in-bits='0'>
854        <!-- __time_t timespec::tv_sec -->
855        <var-decl name='tv_sec' type-id='type-id-63' visibility='default' filepath='/usr/include/bits/types/struct_timespec.h' line='12' column='1'/>
856      </data-member>
857      <data-member access='public' layout-offset-in-bits='64'>
858        <!-- __syscall_slong_t timespec::tv_nsec -->
859        <var-decl name='tv_nsec' type-id='type-id-64' visibility='default' filepath='/usr/include/bits/types/struct_timespec.h' line='16' column='1'/>
860      </data-member>
861    </class-decl>
862    <!-- typedef long int __time_t -->
863    <typedef-decl name='__time_t' type-id='type-id-6' filepath='/usr/include/bits/types.h' line='160' column='1' id='type-id-63'/>
864    <!-- typedef long int __syscall_slong_t -->
865    <typedef-decl name='__syscall_slong_t' type-id='type-id-6' filepath='/usr/include/bits/types.h' line='197' column='1' id='type-id-64'/>
866    <!-- const timespec -->
867    <qualified-type-def type-id='type-id-62' const='yes' id='type-id-65'/>
868    <!-- const timespec* -->
869    <pointer-type-def type-id='type-id-65' size-in-bits='64' id='type-id-66'/>
870    <!-- int32_t* -->
871    <pointer-type-def type-id='type-id-11' size-in-bits='64' id='type-id-67'/>
872    <!-- pthread_mutex_t __urcu_compat_futex_lock -->
873    <var-decl name='__urcu_compat_futex_lock' type-id='type-id-33' mangled-name='__urcu_compat_futex_lock' visibility='default' filepath='src/compat_futex.c' line='44' column='1' elf-symbol-id='__urcu_compat_futex_lock'/>
874    <!-- pthread_cond_t __urcu_compat_futex_cond -->
875    <var-decl name='__urcu_compat_futex_cond' type-id='type-id-58' mangled-name='__urcu_compat_futex_cond' visibility='default' filepath='src/compat_futex.c' line='46' column='1' elf-symbol-id='__urcu_compat_futex_cond'/>
876    <!-- int compat_futex_async(int32_t*, int, int32_t, const timespec*, int32_t*, int32_t) -->
877    <function-decl name='compat_futex_async' mangled-name='compat_futex_async' filepath='src/compat_futex.c' line='118' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='compat_futex_async'>
878      <!-- parameter of type 'int32_t*' -->
879      <parameter type-id='type-id-67' name='uaddr' filepath='src/compat_futex.c' line='118' column='1'/>
880      <!-- parameter of type 'int' -->
881      <parameter type-id='type-id-5' name='op' filepath='src/compat_futex.c' line='118' column='1'/>
882      <!-- parameter of type 'typedef int32_t' -->
883      <parameter type-id='type-id-11' name='val' filepath='src/compat_futex.c' line='118' column='1'/>
884      <!-- parameter of type 'const timespec*' -->
885      <parameter type-id='type-id-66' name='timeout' filepath='src/compat_futex.c' line='119' column='1'/>
886      <!-- parameter of type 'int32_t*' -->
887      <parameter type-id='type-id-67' name='uaddr2' filepath='src/compat_futex.c' line='119' column='1'/>
888      <!-- parameter of type 'typedef int32_t' -->
889      <parameter type-id='type-id-11' name='val3' filepath='src/compat_futex.c' line='119' column='1'/>
890      <!-- int -->
891      <return type-id='type-id-5'/>
892    </function-decl>
893    <!-- int compat_futex_noasync(int32_t*, int, int32_t, const timespec*, int32_t*, int32_t) -->
894    <function-decl name='compat_futex_noasync' mangled-name='compat_futex_noasync' filepath='src/compat_futex.c' line='54' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='compat_futex_noasync'>
895      <!-- parameter of type 'int32_t*' -->
896      <parameter type-id='type-id-67' name='uaddr' filepath='src/compat_futex.c' line='54' column='1'/>
897      <!-- parameter of type 'int' -->
898      <parameter type-id='type-id-5' name='op' filepath='src/compat_futex.c' line='54' column='1'/>
899      <!-- parameter of type 'typedef int32_t' -->
900      <parameter type-id='type-id-11' name='val' filepath='src/compat_futex.c' line='54' column='1'/>
901      <!-- parameter of type 'const timespec*' -->
902      <parameter type-id='type-id-66' name='timeout' filepath='src/compat_futex.c' line='55' column='1'/>
903      <!-- parameter of type 'int32_t*' -->
904      <parameter type-id='type-id-67' name='uaddr2' filepath='src/compat_futex.c' line='55' column='1'/>
905      <!-- parameter of type 'typedef int32_t' -->
906      <parameter type-id='type-id-11' name='val3' filepath='src/compat_futex.c' line='55' column='1'/>
907      <!-- int -->
908      <return type-id='type-id-5'/>
909    </function-decl>
910  </abi-instr>
911</abi-corpus>
912