#ifndef LITMUS_CACHE_PROC_H
#define LITMUS_CACHE_PROC_H

#ifdef __KERNEL__

void litmus_setup_lockdown(void __iomem*, u32);

#endif

#endif