1 files changed, 1 insertions, 0 deletions

diff --git a/include/litmus/cache_proc.h b/include/litmus/cache_proc.h
index 962851da34cc..e9440de504fc 100644
--- a/include/litmus/cache_proc.h
+++ b/include/litmus/cache_proc.h
@@ -7,6 +7,7 @@ void litmus_setup_lockdown(void __iomem*, u32);
 void enter_irq_mode(void);
 void exit_irq_mode(void);
 void flush_cache(int all);
+void lock_cache(int cpu, u32 val);
 
 extern struct page *new_alloc_page_color(unsigned long color);