projects / pintos-anon / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Mark shutdown_reboot() and shutdown_power_off() as NO_RETURN.
[pintos-anon] / src / tests / main.h
1 #ifndef TESTS_MAIN_H
2 #define TESTS_MAIN_H
3
4 void test_main (void);
5
6 #endif /* tests/main.h */
Pintos public repository