Searched refs:psci_acpi_init (Results 1 – 3 of 3) sorted by relevance
18 int psci_acpi_init(void);
416 psci_acpi_init(); in setup_arch()
428 int __init psci_acpi_init(void) in psci_acpi_init() function