Searched refs:psci_flush_dcache_range (Results 1 – 5 of 5) sorted by relevance
77 psci_flush_dcache_range((uintptr_t)svc_cpu_data, in psci_init_pwr_domain_node()240 psci_flush_dcache_range((uintptr_t)&psci_plat_pm_ops, in psci_setup()
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
421 psci_flush_dcache_range((uintptr_t)&psci_suspend_mode, in psci_set_suspend_mode()