Symbol: arm64_get_active_vcpu
sys/arm64/vmm/arm64.h
165
struct hypctx *arm64_get_active_vcpu(void);
sys/arm64/vmm/io/vtimer.c
255
hypctx = arm64_get_active_vcpu();
sys/arm64/vmm/io/vtimer.c
81
hypctx = arm64_get_active_vcpu();
sys/arm64/vmm/vmm_arm64.c
1204
if (arm64_get_active_vcpu() == hyp->ctx[i]) {