added NOVPT option to disable VPT/UVPT mappings
[akaros.git] / tests / user_tests.h