1 // SPDX-License-Identifier: GPL-2.0-only
13 static inline void __clean_pmem_range(unsigned long start, unsigned long stop)  in __clean_pmem_range()  argument
17 	void *addr = (void *)(start & ~(bytes - 1));  in __clean_pmem_range()
18 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in __clean_pmem_range()
22 		asm volatile(PPC_DCBSTPS(%0, %1): :"i"(0), "r"(addr): "memory");  in __clean_pmem_range()
25 static inline void __flush_pmem_range(unsigned long start, unsigned long stop)  in __flush_pmem_range()  argument
29 	void *addr = (void *)(start & ~(bytes - 1));  in __flush_pmem_range()
30 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in __flush_pmem_range()
34 		asm volatile(PPC_DCBFPS(%0, %1): :"i"(0), "r"(addr): "memory");  in __flush_pmem_range()
37 static inline void clean_pmem_range(unsigned long start, unsigned long stop)  in clean_pmem_range()  argument
40 		return __clean_pmem_range(start, stop);  in clean_pmem_range()
43 static inline void flush_pmem_range(unsigned long start, unsigned long stop)  in flush_pmem_range()  argument
46 		return __flush_pmem_range(start, stop);  in flush_pmem_range()