taglinefilesource code
mktime69init/main.cextern long kernel_mktime(struct mktime * time);
mktime114init/main.cstruct mktime time;
mktime41kernel/mktime.clong kernel_mktime(struct mktime * time)