time_badsecs       69 user/testbin/badcall/bad_time.c 	time_badsecs(INVAL_PTR, "__time with invalid seconds pointer");
time_badsecs       70 user/testbin/badcall/bad_time.c 	time_badsecs(KERN_PTR, "__time with kernel seconds pointer");