Symbol: vfp_init_secondary
sys/arm64/arm64/mp_machdep.c
297
vfp_init_secondary();
sys/arm64/include/vfp.h
71
void vfp_init_secondary(void);