__cpuc_flush_kern_louis
extern void __cpuc_flush_kern_louis(void);
#define flush_cache_louis() __cpuc_flush_kern_louis()
