extras/abi/0.13/x86_64-pc-linux-gnu/liburcu-common.so.8.xml

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