priv_sema.h | 41 } vg_sema_t; typedef in typeref:struct:__anon25600 45 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 );
|