time_badnsecs      72 user/testbin/badcall/bad_time.c 	time_badnsecs(INVAL_PTR, "__time with invalid nsecs pointer");
time_badnsecs      73 user/testbin/badcall/bad_time.c 	time_badnsecs(KERN_PTR, "__time with kernel nsecs pointer");