Symbol: arm_setup_vectors
sys/arm64/vmm/vmm_arm64.c
105
static void arm_setup_vectors(void *arg);
sys/arm64/vmm/vmm_arm64.c
409
smp_rendezvous(NULL, arm_setup_vectors, NULL, &el2_regs);