Sign in
android-kvm
/
linux
/
40e020c129cfc991e8ab4736d2665351ffd1468d
/
.
/
tools
/
testing
/
selftests
/
rcutorture
/
formal
/
srcu-cbmc
/
src
/
misc.c
blob: 9440cc39e3c6860fc5c26134c44a38e41861c986 [
file
] [
log
] [
blame
]
// 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
();
}