如何在自定义系统调用中打印当前时间和执行次数？

Question

这应该写入内核日志：

Hello world!
This is (number) time that you use the system call today
Current time is : (time) 

我试图使用linux/time.h，但我不知道它是如何运作的。 谁能举个例子？我应该这样做吗？

#include<linux/linkage.h>
#include<linux/kernel.h>
#include<linux/sched.h>
#include<linux/time.h>

asmlinkage long sys_mycall (int someVal)
{
    time_t t;
    time(&t);

    printk("myInt: %d", someVal);
    printk("%s", ctime(&t)) ;

    return 0 ;
}