Searched refs:vaddrs (Results 1 – 1 of 1) sorted by relevance
168 inline static void FastFlushList(void **vaddrs) { in FastFlushList() argument170 while (*vaddrs) { in FastFlushList()171 asm volatile("dcbf 0,%0" : : "r" (*vaddrs++)); in FastFlushList()185 while (*vaddrs) { in FastFlushList()186 asm volatile("clflush (%0)" : : "r" (*vaddrs++)); in FastFlushList()190 while (*vaddrs) { in FastFlushList()191 FastFlush(*vaddrs++); in FastFlushList()