#ifndef TEST_DRIVER_H
#define TEST_DRIVER_H
#include "kern/cdef.h"
void
test_begin(char *name);
test_end(void);
void *
talloc(uint32 size);
run_case(char *name, bool result);
#endif