Sign in
coral
/
linux-imx
/
f51a68c561105229e0f30d2f159d1212752b57e2
/
.
/
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
();
}