Merge remote-tracking branches 'asoc/topic/ac97', 'asoc/topic/ac97-mfd', 'asoc/topic...

[mirror_ubuntu-focal-kernel.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / src / misc.c

// SPDX-License-Identifier: GPL-2.0
#include <config.h>

#include "misc.h"
#include "bug_on.h"

struct rcu_head;

void wakeme_after_rcu(struct rcu_head *head)
{
        BUG();
}