Symbol: mpentry_psci
sys/arm64/arm64/mp_machdep.c
113
void mpentry_psci(unsigned long cpuid);
sys/arm64/arm64/mp_machdep.c
568
pa = pmap_extract(kernel_pmap, (vm_offset_t)mpentry_psci);