Minor (mostly harmless) pthread fixes
[akaros.git] / tests / kern_tests.h