CASE vdso_tests [STARTED]
vdso_map_twice_test [RUNNING] [PASSED] (0 ms)
vdso_map_code_wrong_test [RUNNING] [PASSED] (0 ms)
vdso_map_change_test [RUNNING] [PASSED] (0 ms)
CASE vdso_tests [PASSED]
====================================================
Results for test binary "/boot/test/sys/vdso-test":
SUCCESS! All test cases passed!
CASES: 1 SUCCESS: 1 FAILED: 0
====================================================