Searched refs:release_lock (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD503 release_lock() { function
510 trap 'release_lock ; exit 1' 1 2 3 13 15
572 release_lock

Completed in 69 milliseconds