Flexelint: Varnish-Cache Locking functions

ae4ebf01 · Nils Goroll · d90da286 · ae4ebf01
Unverified Commit ae4ebf01 authored Nov 26, 2023 by Nils Goroll
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

flint.lnt src/flint.lnt +3 -0

No files found.
--- a/src/flint.lnt
+++ b/src/flint.lnt
@@ -3,6 +3,9 @@
 // semantics
 -sem(VAS_Fail, r_no)
 -function(pthread_create(3), WRK_BgThread(3) )
+-sem(Lck_Lock, thread_lock)
+-sem(Lck_Unlock, thread_unlock)
+

 -e801			// goto
 -e716			// while(1)