__assumes_ctx_lock
# define __assumes_ctx_lock(...)
# define __assumes_ctx_lock(...) __attribute__((assert_capability(__VA_ARGS__)))