rcuja: API change: move rcu_head to user code
[userspace-rcu.git] / urcu-die.h
2012-06-22  Mathieu DesnoyersFix inappropriate lib behavior: don't call exit()
This page took 0.037291 seconds and 7 git commands to generate.