Sign in
coral
/
linux-mtk
/
32eff2f22b438e3c3b1ffb0cb4fa6b157904cef5
/
.
/
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
();
}