psci_get_version  415 drivers/firmware/psci/psci.c 	psci_ops.get_version = psci_get_version;
psci_get_version  444 drivers/firmware/psci/psci.c 	u32 ver = psci_get_version();