#define __cpuc_flush_kern_all cpu_cache.flush_kern_all
#define __cpuc_flush_kern_all __glue(_CACHE,_flush_kern_cache_all)