extras/abi/0.12/x86_64-pc-linux-gnu/liburcu-common.so.6.xml

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