Fixes 4.6.1 compiler build with gcc 4.7 (XCC)
[akaros.git] / tests / user_tests.h