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