Merge branches 'pm-core', 'pm-qos', 'pm-domains' and 'pm-opp'

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

#include <config.h>

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

struct rcu_head;

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