struct rcu_head         rcu;
 };
 
-void run_posix_cpu_timers(struct task_struct *task);
+void run_posix_cpu_timers(void);
 void posix_cpu_timers_exit(struct task_struct *task);
 void posix_cpu_timers_exit_group(struct task_struct *task);
 void set_process_cpu_timer(struct task_struct *task, unsigned int clock_idx,
 
  * already updated our counts.  We need to check if any timers fire now.
  * Interrupts are disabled.
  */
-void run_posix_cpu_timers(struct task_struct *tsk)
+void run_posix_cpu_timers(void)
 {
-       LIST_HEAD(firing);
+       struct task_struct *tsk = current;
        struct k_itimer *timer, *next;
        unsigned long flags;
+       LIST_HEAD(firing);
 
        lockdep_assert_irqs_disabled();
 
 
 #endif
        scheduler_tick();
        if (IS_ENABLED(CONFIG_POSIX_TIMERS))
-               run_posix_cpu_timers(p);
+               run_posix_cpu_timers();
 }
 
 /**