test_readlink     210 user/testbin/badcall/driver.c 	{ 'v', 5, "readlink",		test_readlink },
test_readlink      97 user/testbin/badcall/test.h void test_readlink(void);