Release 4.15 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.c
// 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();
}
Contributors
| Person | Tokens | Prop | Commits | CommitProp |
| Lance Roy | 13 | 100.00% | 1 | 100.00% |
| Total | 13 | 100.00% | 1 | 100.00% |
Overall Contributors
| Person | Tokens | Prop | Commits | CommitProp |
| Lance Roy | 25 | 96.15% | 1 | 50.00% |
| Greg Kroah-Hartman | 1 | 3.85% | 1 | 50.00% |
| Total | 26 | 100.00% | 2 | 100.00% |
Information contained on this website is for historical information purposes only and does not indicate or represent copyright ownership.