1 // SPDX-License-Identifier: GPL-2.0-only
12 static inline void __clean_pmem_range(unsigned long start, unsigned long stop)  in __clean_pmem_range()  argument
16 	void *addr = (void *)(start & ~(bytes - 1));  in __clean_pmem_range()
17 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in __clean_pmem_range()
21 		asm volatile(PPC_DCBSTPS(%0, %1): :"i"(0), "r"(addr): "memory");  in __clean_pmem_range()
24 static inline void __flush_pmem_range(unsigned long start, unsigned long stop)  in __flush_pmem_range()  argument
28 	void *addr = (void *)(start & ~(bytes - 1));  in __flush_pmem_range()
29 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in __flush_pmem_range()
33 		asm volatile(PPC_DCBFPS(%0, %1): :"i"(0), "r"(addr): "memory");  in __flush_pmem_range()
36 static inline void clean_pmem_range(unsigned long start, unsigned long stop)  in clean_pmem_range()  argument
39 		return __clean_pmem_range(start, stop);  in clean_pmem_range()
42 static inline void flush_pmem_range(unsigned long start, unsigned long stop)  in flush_pmem_range()  argument
45 		return __flush_pmem_range(start, stop);  in flush_pmem_range()