kern_sync_rcu
kern_sync_rcu();
kern_sync_rcu();
kern_sync_rcu();
kern_sync_rcu();
ASSERT_OK(kern_sync_rcu(), "kern_sync_rcu");
ASSERT_OK(kern_sync_rcu(), "kern_sync_rcu");
kern_sync_rcu();
kern_sync_rcu();
kern_sync_rcu();
if (!ASSERT_GE(kern_sync_rcu(), 0, "kern_sync_rcu 1"))
kern_sync_rcu();
kern_sync_rcu();
ASSERT_OK(kern_sync_rcu(), "sync rcu");
ASSERT_OK(kern_sync_rcu(), "sync rcu");
kern_sync_rcu();
kern_sync_rcu();
kern_sync_rcu();
kern_sync_rcu();
kern_sync_rcu();
kern_sync_rcu();
kern_sync_rcu();
kern_sync_rcu();
kern_sync_rcu();
if (kern_sync_rcu())
int kern_sync_rcu(void);