__acquires_ctx_lock
# define __acquires_ctx_lock(...)
# define __acquires_ctx_lock(...) __attribute__((acquire_capability(__VA_ARGS__)))
