__no_context_analysis
__no_context_analysis \
__no_context_analysis \
__no_context_analysis \
__no_context_analysis \
__no_context_analysis \
__no_context_analysis \
__no_context_analysis _unlock { }
__attribute__((overloadable)) __no_context_analysis __acquires_ctx_lock(var) { } \
__attribute__((overloadable)) __no_context_analysis __acquires_shared_ctx_lock(var) { } \
__attribute__((overloadable)) __no_context_analysis __try_acquires_ctx_lock(1, var) \
__attribute__((overloadable)) __no_context_analysis __try_acquires_shared_ctx_lock(1, var) \
__attribute__((overloadable)) __no_context_analysis __releases_ctx_lock(var) { } \
__attribute__((overloadable)) __no_context_analysis __releases_shared_ctx_lock(var) { } \
#define __context_unsafe(comment) __no_context_analysis
#define __acquires_ret __no_context_analysis
#define __acquires_shared_ret __no_context_analysis
__cond_acquires(true, lock) __no_context_analysis
__acquires_shared(lock) __no_context_analysis
__acquires_shared(lock) __no_context_analysis
__acquires_shared(lock) __no_context_analysis
__acquires_shared(lock) __no_context_analysis
__acquires(lock) __no_context_analysis
__acquires(lock) __no_context_analysis
__acquires(lock) __no_context_analysis
__acquires(lock) __no_context_analysis
__acquires(lock) __no_context_analysis
__acquires_shared(sl) __no_context_analysis
__releases_shared(sl) __no_context_analysis
__acquires_shared(sl) __no_context_analysis
__releases_shared(sl) __no_context_analysis
__acquires_shared(sl) __no_context_analysis
__releases_shared(sl) __no_context_analysis
__acquires_shared(sl) __no_context_analysis
__releases_shared(sl) __no_context_analysis
__acquires_shared(lock) __no_context_analysis
__releases_shared(lock) __no_context_analysis
__no_context_analysis
__acquires_shared(lock) __no_context_analysis
__no_context_analysis
__no_context_analysis
__no_context_analysis
__releases_shared(*((seqlock_t **)s)) __no_context_analysis {}
__acquires_shared(sl) __no_context_analysis
__releases_shared(sl) __no_context_analysis
__acquires(sl) __no_context_analysis
__releases(sl) __no_context_analysis
__acquires(sl) __no_context_analysis
__releases(sl) __no_context_analysis
__acquires(sl) __no_context_analysis
__releases(sl) __no_context_analysis
__acquires(sl) __no_context_analysis
__releases(sl) __no_context_analysis
__acquires(lock) __no_context_analysis
__acquires(lock) __no_context_analysis
__cond_acquires(true, lock) __no_context_analysis
__acquires(lock) __no_context_analysis
__releases(lock) __no_context_analysis
__releases(lock) __no_context_analysis
__releases(lock) __no_context_analysis
__releases(lock) __no_context_analysis
__cond_acquires(true, lock) __no_context_analysis
__cond_acquires(true, lock) __no_context_analysis
__cond_acquires(true, lock) __no_context_analysis
__acquires(lock) __no_context_analysis
__acquires(lock) __no_context_analysis
__acquires(lock) __no_context_analysis
__acquires(lock) __no_context_analysis
__acquires(ctx) __no_context_analysis
__releases(ctx) __acquires_shared(ctx) __no_context_analysis
__releases_shared(ctx) __no_context_analysis
__acquires(lock) __must_hold(ctx) __no_context_analysis
__no_context_analysis \
__no_context_analysis _unlock1 { } \
__no_context_analysis _unlock2 { }