psci_dt_init      552 drivers/firmware/psci/psci.c int __init psci_dt_init(void)
psci_dt_init       50 include/linux/psci.h static inline int psci_dt_init(void) { return 0; }