82 static int psci_v0_1_init(device_t dev, int default_version);
84 static int psci_v0_2_init(device_t dev, int default_version);
100 	int		default_version;  member
105 	.default_version = (1 << 16) | 0,
110 	.default_version = (0 << 16) | 2,
115 	.default_version = (0 << 16) | 1,
227 	    psci_init_def->default_version));  in psci_fdt_attach()
333 psci_attach(device_t dev, psci_initfn_t psci_init, int default_version)  in psci_attach()  argument
341 	if (psci_init(dev, default_version))  in psci_attach()
488 psci_v0_1_init(device_t dev, int default_version __unused)  in psci_v0_1_init()
534 psci_v0_2_init(device_t dev, int default_version)  in psci_v0_2_init()  argument
559 		if (default_version == PSCI_RETVAL_NOT_SUPPORTED)  in psci_v0_2_init()
562 		version = default_version;  in psci_v0_2_init()