Searched refs:psci_init (Results 1 - 1 of 1) sorted by relevance

/freebsd-11.0-release/sys/dev/psci/
H A Dpsci.c145 psci_initfn_t psci_init; local
152 psci_init = (psci_initfn_t)ocd->ocd_data;
153 KASSERT(psci_init != NULL, ("PSCI init function cannot be NULL"));
160 if (psci_init(dev))

Completed in 95 milliseconds