1 files changed, 8 insertions, 2 deletions

diff --git a/include/litmus/nvidia_info.h b/include/litmus/nvidia_info.h
index 9e07a27fdee3..dd41c4c72b85 100644
--- a/include/litmus/nvidia_info.h
+++ b/include/litmus/nvidia_info.h
@@ -28,11 +28,17 @@ int init_nv_device_reg(void);
 
 int reg_nv_device(int reg_device_id, int register_device);
 
-struct task_struct* get_nv_device_owner(u32 target_device_id);
+struct task_struct* get_nv_max_device_owner(u32 target_device_id);
+//int is_nv_device_owner(u32 target_device_id);
 
 void lock_nv_registry(u32 reg_device_id, unsigned long* flags);
 void unlock_nv_registry(u32 reg_device_id, unsigned long* flags);
 
-void increment_nv_int_count(u32 device);
+#ifdef CONFIG_LITMUS_PAI_SOFTIRQD
+void pai_check_priority_increase(struct task_struct *t, int reg_device_id);
+void pai_check_priority_decrease(struct task_struct *t, int reg_device_id);
+#endif
+
+//void increment_nv_int_count(u32 device);
 
 #endif