1 files changed, 1 insertions, 1 deletions

diff --git a/include/litmus/nvidia_info.h b/include/litmus/nvidia_info.h
index dd41c4c72b85..856c575374d3 100644
--- a/include/litmus/nvidia_info.h
+++ b/include/litmus/nvidia_info.h
@@ -26,7 +26,7 @@ int init_nv_device_reg(void);
 //int get_nv_device_id(struct task_struct* owner);
 
 
-int reg_nv_device(int reg_device_id, int register_device);
+int reg_nv_device(int reg_device_id, int register_device, struct task_struct *t);
 
 struct task_struct* get_nv_max_device_owner(u32 target_device_id);
 //int is_nv_device_owner(u32 target_device_id);