rcu: Add Linux headers and helpers
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 19 Apr 2018 16:35:14 +0000 (12:35 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 30 Apr 2018 18:38:29 +0000 (14:38 -0400)
commitf84f414f82bb2f680c1427eb2d445cdc8a2c3931
treeff2c52dbc831fdebfe49ff241fe6a4c1f6dd89eb
parentc24811180bf1d6726d95cbe69ffe66aec22d0f13
rcu: Add Linux headers and helpers

These have more than we need, but a lot of it will be useful for us.

From commit 569dbb88e80d ("Linux 4.13").  rcu_helper.h was
kernel/rcu/rcu.h and rcu_tree_helper.c was from kernel/rcu/tree.c.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/include/rcu_helper.h [new file with mode: 0644]
kern/include/rcu_node_tree.h [new file with mode: 0644]
kern/include/rculist.h [new file with mode: 0644]
kern/include/rcupdate.h [new file with mode: 0644]
kern/src/rcu_tree_helper.c [new file with mode: 0644]