Searched refs:psci_init (Results 1 – 3 of 3) sorted by relevance
| /freebsd/sys/dev/psci/ |
| H A D | psci.c | 101 psci_initfn_t psci_init; member
106 .psci_init = psci_v0_2_init
111 .psci_init = psci_v0_2_init
116 .psci_init = psci_v0_1_init
137 psci_init(void *dummy) in psci_init() function
152 SYSINIT(psci_start, SI_SUB_CPU, SI_ORDER_FIRST, psci_init, NULL);
232 return (psci_attach(dev, psci_init_def->psci_init, in psci_fdt_attach()
337 psci_attach(device_t dev, psci_initfn_t psci_init, int default_version) in psci_attach() argument
344 KASSERT(psci_init != NULL, ("PSCI init function cannot be NULL")); in psci_attach()
345 if (psci_init(dev, default_version)) in psci_attach()
|
| H A D | psci.h | 47 void psci_init(void *dummy);
|
| /freebsd/sys/arm64/arm64/ |
| H A D | machdep.c | 895 psci_init(NULL); in initarm()
|