RCU_TYPE_MAX
CTASSERT(TS_RCU_TYPE_MAX == RCU_TYPE_MAX);
static ck_epoch_t linux_epoch[RCU_TYPE_MAX];
static struct linux_epoch_head linux_epoch_head[RCU_TYPE_MAX];
DPCPU_DEFINE_STATIC(struct linux_epoch_record, linux_epoch_record[RCU_TYPE_MAX]);
for (j = 0; j != RCU_TYPE_MAX; j++) {
MPASS(type < RCU_TYPE_MAX);
MPASS(type < RCU_TYPE_MAX);
MPASS(type < RCU_TYPE_MAX);
MPASS(type < RCU_TYPE_MAX);
MPASS(type < RCU_TYPE_MAX);
MPASS(type < RCU_TYPE_MAX);