TS_RCU_TYPE_MAX
TAILQ_ENTRY(task_struct) rcu_entry[TS_RCU_TYPE_MAX];
int rcu_recurse[TS_RCU_TYPE_MAX];
unsigned rcu_section[TS_RCU_TYPE_MAX];
CTASSERT(TS_RCU_TYPE_MAX == RCU_TYPE_MAX);