dashboard
repositories
activity
search
login
ljy
/
RK3588_XEN
forked from
~ljy/RK3588_XEN
summary
commits
tree
docs
forks
compare
blame
|
history
|
raw
set hp_det gpio
hc
2024-08-12
233ab1bd4c5697f5cdec94e60206e8c6ac609b4c
[~ljy/RK3588_XEN.git]
/
kernel
/
tools
/
testing
/
selftests
/
rcutorture
/
formal
/
srcu-cbmc
/
src
/
misc.c
1
2
3
4
5
6
7
8
9
10
11
12
// 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();
}