79 static inline void __flush_buffer(void *buffer, size_t size)  in __flush_buffer()  argument
81 	char *next = (char *)((long)buffer & -L2_CACHE_BYTES);  in __flush_buffer()
82 	char *finish = (char *)L2_CACHE_ALIGN((long)buffer + size);  in __flush_buffer()
90 static inline void __finv_buffer(void *buffer, size_t size)  in __finv_buffer()  argument
92 	char *next = (char *)((long)buffer & -L2_CACHE_BYTES);  in __finv_buffer()
93 	char *finish = (char *)L2_CACHE_ALIGN((long)buffer + size);  in __finv_buffer()
105 static inline void flush_buffer_local(void *buffer, size_t size)  in flush_buffer_local()  argument
107 	__flush_buffer(buffer, size);  in flush_buffer_local()
115 static inline void finv_buffer_local(void *buffer, size_t size)  in finv_buffer_local()  argument
117 	__finv_buffer(buffer, size);  in finv_buffer_local()
123 static inline void __inv_buffer(void *buffer, size_t size)  in __inv_buffer()  argument
125 	char *next = (char *)((long)buffer & -L2_CACHE_BYTES);  in __inv_buffer()
126 	char *finish = (char *)L2_CACHE_ALIGN((long)buffer + size);  in __inv_buffer()
134 static inline void inv_buffer(void *buffer, size_t size)  in inv_buffer()  argument
136 	__inv_buffer(buffer, size);  in inv_buffer()
148 void finv_buffer_remote(void *buffer, size_t size, int hfh);