text: /*
   *SYSCALL_DEFINE2(clock_adjtime, const clockid_t, which_clock,
   *		struct timex __user *, utx)
   */
  
  #include "sanitise.h"
  
  struct syscallentry syscall_clock_adjtime = {
  	.name = "clock_adjtime",
  	.num_args = 2,
  	.arg1name = "which_clock",
  	.arg1type = ARG_RANGE,
  	.low1range = 0,
  	.hi1range = 16,
  	.arg2name = "utx",
  	.arg2type = ARG_ADDRESS,
  };
  