Searched refs:psci_dsbish (Results 1 – 2 of 2) sorted by relevance
162 psci_dsbish(); in psci_do_cpu_off()
205 static inline void psci_dsbish(void) in psci_dsbish() function243 static inline void psci_dsbish(void) in psci_dsbish() function