extras/abi/0.9/x86_64-pc-linux-gnu/liburcu-common.so.4.xml

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