Searched defs:psci_flush_dcache_range (Results 1 – 2 of 2) sorted by relevance
182 static inline void psci_flush_dcache_range(uintptr_t __unused addr, in psci_flush_dcache_range() function221 static inline void psci_flush_dcache_range(uintptr_t addr, size_t size) in psci_flush_dcache_range() function
195 static inline void psci_flush_dcache_range(uintptr_t __unused addr, in psci_flush_dcache_range() function234 static inline void psci_flush_dcache_range(uintptr_t addr, size_t size) in psci_flush_dcache_range() function