taglinefilesource code
tloc45kernel/time.casmlinkage int sys_time(int * tloc)
tloc50kernel/time.cif (tloc) {
tloc51kernel/time.cint error = verify_area(VERIFY_WRITE, tloc, sizeof(*tloc));
tloc54kernel/time.cput_user(i,tloc);