taglinefilesource code
tloc125kernel/time.casmlinkage int sys_time(int * tloc)
tloc130kernel/time.cif (tloc) {
tloc131kernel/time.cerror = verify_area(VERIFY_WRITE, tloc, sizeof(*tloc));
tloc134kernel/time.cput_user(i,tloc);