Searched refs:arm64_get_active_vcpu (Results 1 – 3 of 3) sorted by relevance
72 hypctx = arm64_get_active_vcpu(); in vtimer_virtual_timer_intr()220 hypctx = arm64_get_active_vcpu(); in vtimer_vmcleanup()
172 struct hypctx *arm64_get_active_vcpu(void);
117 arm64_get_active_vcpu(void) in arm64_get_active_vcpu() function1189 if (arm64_get_active_vcpu() == hyp->ctx[i]) { in arm_pcpu_vmcleanup()