misc.c « src « srcu-cbmc « formal « rcutorture « selftests « testing « tools - linux-arm.git - Russell King's ARM Linux kernel tree

index : linux-arm.git

Russell King's ARM Linux kernel tree

Russell King

summary refs log tree commit diff

path: root/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.c

blob: ca892e3b235199b31e9b3deb6ac1be891b9ade6c (plain)

#include <config.h>

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

struct rcu_head;

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