Searched refs:riscv_get_active_vcpu (Results 1 – 3 of 3) sorted by relevance
150 struct hypctx *riscv_get_active_vcpu(void);
186 hypctx = riscv_get_active_vcpu(); in vmm_sbi_ecall()
98 riscv_get_active_vcpu(void) in riscv_get_active_vcpu() function735 if (riscv_get_active_vcpu() == hyp->ctx[i]) { in riscv_pcpu_vmcleanup()