Sign in
gem5
/
arm
/
linux
/
777a45b458660b18d7d7c3e0d874d08650c99cd2
/
.
/
tools
/
testing
/
selftests
/
rcutorture
/
formal
/
srcu-cbmc
/
src
/
misc.c
blob: ca892e3b235199b31e9b3deb6ac1be891b9ade6c [
file
] [
log
] [
blame
]
#include
<config.h>
#include
"misc.h"
#include
"bug_on.h"
struct
rcu_head
;
void
wakeme_after_rcu
(
struct
rcu_head
*
head
)
{
BUG
();
}