__acquires_shared_ctx_lock
# define __acquires_shared_ctx_lock(...)
# define __acquires_shared_ctx_lock(...) __attribute__((acquire_shared_capability(__VA_ARGS__)))