test_reboot       195 user/testbin/badcall/driver.c 	{ 'g', 0, "reboot",		test_reboot },
test_reboot        82 user/testbin/badcall/test.h void test_reboot(void);