Searched refs:vmm_sbi_ecall (Results 1 – 3 of 3) sorted by relevance
131 int vmm_sbi_ecall(struct vcpu *, bool *);
171 vmm_sbi_ecall(struct vcpu *vcpu, bool *retu) in vmm_sbi_ecall() function
494 vmm_sbi_ecall(hypctx->vcpu, &retu); in riscv_handle_world_switch()