Searched refs:vg_sema_t (Results 1 – 3 of 3) sorted by relevance
41 } vg_sema_t; typedef45 void ML_(sema_init) ( vg_sema_t *sema );46 void ML_(sema_deinit) ( vg_sema_t *sema );47 void ML_(sema_down) ( vg_sema_t *sema, Bool as_LL );48 void ML_(sema_up) ( vg_sema_t *sema, Bool as_LL );
55 void ML_(sema_init)(vg_sema_t *sema) in ML_()86 void ML_(sema_deinit)(vg_sema_t *sema) in ML_()98 void ML_(sema_down)( vg_sema_t *sema, Bool as_LL ) in ML_()130 void ML_(sema_up)( vg_sema_t *sema, Bool as_LL ) in ML_()
41 vg_sema_t sema;