Searched refs:psci_dt_init (Results 1 – 4 of 4) sorted by relevance
55 int __init psci_dt_init(void);57 static inline int psci_dt_init(void) { return 0; } in psci_dt_init() function
334 psci_dt_init(); in setup_arch()
672 int __init psci_dt_init(void) in psci_dt_init() function
1129 psci_dt_init(); in setup_arch()
