Make kernel_pool, user_pool static, since they are used only in palloc.c

[pintos-anon] / src / tests / main.h

#ifndef TESTS_MAIN_H
#define TESTS_MAIN_H

void test_main (void);

#endif /* tests/main.h */