Searched defs:flush_kern_dcache_area (Results 1 – 2 of 2) sorted by relevance
110 void (*flush_kern_dcache_area)(void *, size_t); member