Symbol: arm64_set_active_vcpu
sys/arm64/vmm/vmm_arm64.c
1156
arm64_set_active_vcpu(hypctx);
sys/arm64/vmm/vmm_arm64.c
1205
arm64_set_active_vcpu(NULL);
sys/arm64/vmm/vmm_arm64.c
130
arm64_set_active_vcpu(NULL);
sys/arm64/vmm/vmm_arm64.c
198
arm64_set_active_vcpu(NULL);