Searched refs:psci_dt_init (Results 1 – 3 of 3) sorted by relevance
17 int psci_dt_init(void);
410 psci_dt_init(); in setup_arch()
409 int __init psci_dt_init(void) in psci_dt_init() function