454 	bool handled;  in riscv_handle_world_switch()  local
458 	handled = false;  in riscv_handle_world_switch()
467 		return (handled);  in riscv_handle_world_switch()
497 		handled = false;  in riscv_handle_world_switch()
500 		handled = vmm_sbi_ecall(hypctx->vcpu);  in riscv_handle_world_switch()
501 		if (handled == true)  in riscv_handle_world_switch()
513 		handled = false;  in riscv_handle_world_switch()
519 		handled = false;  in riscv_handle_world_switch()
523 	return (handled);  in riscv_handle_world_switch()
610 	bool handled;  in vmmops_run()  local
711 		handled = riscv_handle_world_switch(hypctx, vme, pmap);  in vmmops_run()
712 		if (handled == false)  in vmmops_run()