check_lock
size_t size, int flags, bool check_lock);
size_t size, int flags, bool check_lock)
if (check_lock)
static int check_resource_leak(struct bpf_verifier_env *env, bool exception_exit, bool check_lock, const char *prefix)
if (check_lock && env->cur_state->active_locks) {
if (check_lock && env->cur_state->active_irq_id) {
if (check_lock && env->cur_state->active_rcu_locks) {
if (check_lock && env->cur_state->active_preempt_locks) {
scoped_guard(spinlock_irqsave, &q->check_lock) {
scoped_guard(spinlock_irqsave, &q->check_lock) {
spin_lock_init(&q->check_lock);
spinlock_t check_lock;
if (check_lock(daemon))
if (foreground && check_lock(daemon))