rcu_pending
int rcu_pending;
WARN_ON_ONCE(event->rcu_pending);
event->rcu_pending = 1;
if (event->rcu_pending) {
event->rcu_pending = 0;
if (rcu_pending(user))
static int rcu_pending(int user);