psci_v0_2_init
.psci_init = psci_v0_2_init
return (psci_attach(dev, psci_v0_2_init, PSCI_RETVAL_NOT_SUPPORTED));
static int psci_v0_2_init(device_t dev, int default_version);