priv_sema.h | 39 } vg_sema_t; typedef in typeref:struct:__anon12444 43 void ML_(sema_init) ( vg_sema_t *sema ); 44 void ML_(sema_deinit) ( vg_sema_t *sema ); 45 void ML_(sema_down) ( vg_sema_t *sema, Bool as_LL ); 46 void ML_(sema_up) ( vg_sema_t *sema, Bool as_LL );
|