Symbol: psci_dt_init
drivers/firmware/psci/psci.c
798
int __init psci_dt_init(void)
include/linux/psci.h
49
static inline int psci_dt_init(void) { return 0; }