04aa898969d5623b41f601485052d02094a274fa
[urcu.git] / formal-model / ooomem / DEFINES
1 #define first_read_updated (first_read[0] == 6)
2 #define second_read_updated (second_read[0] == 4)
This page took 0.028513 seconds and 3 git commands to generate.