Searched refs:psci_flush_dcache_range (Results 1 – 2 of 2) sorted by relevance
65 psci_flush_dcache_range((uintptr_t)svc_cpu_data, in psci_init_pwr_domain_node()223 psci_flush_dcache_range((uintptr_t)&psci_plat_pm_ops, in psci_setup()
24 #define psci_flush_dcache_range(addr, size) macro48 #define psci_flush_dcache_range(addr, size) flush_dcache_range(addr, size) macro