root/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.c

DEFINITIONS

1. wakeme_after_rcu

   1 // SPDX-License-Identifier: GPL-2.0
   2 #include <config.h>
   3 
   4 #include "misc.h"
   5 #include "bug_on.h"
   6 
   7 struct rcu_head;
   8 
   9 void wakeme_after_rcu(struct rcu_head *head)
  10 {
  11         BUG();
  12 }