compat_jiffies_to_clock_t  972 kernel/sys.c   	return compat_jiffies_to_clock_t(clock_t_to_jiffies(x));
compat_jiffies_to_clock_t  991 kernel/sys.c   	return compat_jiffies_to_clock_t(jiffies);