#ifndef LITMUS_CACHE_PROC_H #define LITMUS_CACHE_PROC_H #ifdef __KERNEL__ 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); #endif #endif