Searched refs:psci_dsbish (Results 1 – 2 of 2) sorted by relevance

/trusted-firmware-a/lib/psci/
A D	psci_private.h	191 static inline void psci_dsbish(void) in psci_dsbish() function 229 static inline void psci_dsbish(void) in psci_dsbish() function
A D	psci_off.c	152 psci_dsbish(); in psci_do_cpu_off()

Completed in 4 milliseconds

Last Index update Fri Sep 05 17:56:23 CST 2025