コード例 #1
0
ファイル: coverity-model.c プロジェクト: 1312mukesh/skiboot 
void lock(struct lock *l) {
	__coverity_exclusive_lock_acquire__(l);
}
コード例 #2
0
 lock() { 
     __coverity_exclusive_lock_acquire__(this);
 }
コード例 #3
0
 lock(RSBase *b) {
    __coverity_lock_alias__(this, b);
    __coverity_exclusive_lock_acquire__(this);
 }
コード例 #4
0
 scoped_lock( mongo::SimpleMutex &m ) { 
     __coverity_lock_alias__(this, &m);
     __coverity_exclusive_lock_acquire__(this);
 }