Sign in
gem5
/
arm
/
linux
/
75ee94b20b46459e3d29f5ac2c3af3cebdeef777
/
.
/
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
();
}