__assumes_shared_ctx_lock
__attribute__((overloadable)) __assumes_shared_ctx_lock(var) { } \
__assumes_shared_ctx_lock(RCU) __assumes_shared_ctx_lock(ctx)