xref: /freebsd/sys/riscv/vmm/vmm_instruction_emul.c (revision d3916eace506b8ab23537223f5c92924636a1c41)
1*d3916eacSRuslan Bukin /*-
2*d3916eacSRuslan Bukin  * SPDX-License-Identifier: BSD-2-Clause
3*d3916eacSRuslan Bukin  *
4*d3916eacSRuslan Bukin  * Copyright (c) 2015 Mihai Carabas <mihai.carabas@gmail.com>
5*d3916eacSRuslan Bukin  * Copyright (c) 2024 Ruslan Bukin <br@bsdpad.com>
6*d3916eacSRuslan Bukin  *
7*d3916eacSRuslan Bukin  * This software was developed by the University of Cambridge Computer
8*d3916eacSRuslan Bukin  * Laboratory (Department of Computer Science and Technology) under Innovate
9*d3916eacSRuslan Bukin  * UK project 105694, "Digital Security by Design (DSbD) Technology Platform
10*d3916eacSRuslan Bukin  * Prototype".
11*d3916eacSRuslan Bukin  *
12*d3916eacSRuslan Bukin  * Redistribution and use in source and binary forms, with or without
13*d3916eacSRuslan Bukin  * modification, are permitted provided that the following conditions
14*d3916eacSRuslan Bukin  * are met:
15*d3916eacSRuslan Bukin  * 1. Redistributions of source code must retain the above copyright
16*d3916eacSRuslan Bukin  *    notice, this list of conditions and the following disclaimer.
17*d3916eacSRuslan Bukin  * 2. Redistributions in binary form must reproduce the above copyright
18*d3916eacSRuslan Bukin  *    notice, this list of conditions and the following disclaimer in the
19*d3916eacSRuslan Bukin  *    documentation and/or other materials provided with the distribution.
20*d3916eacSRuslan Bukin  *
21*d3916eacSRuslan Bukin  * THIS SOFTWARE IS PROVIDED BY AUTHOR AND CONTRIBUTORS ``AS IS'' AND
22*d3916eacSRuslan Bukin  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
23*d3916eacSRuslan Bukin  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24*d3916eacSRuslan Bukin  * ARE DISCLAIMED.  IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE
25*d3916eacSRuslan Bukin  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26*d3916eacSRuslan Bukin  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
27*d3916eacSRuslan Bukin  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
28*d3916eacSRuslan Bukin  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
29*d3916eacSRuslan Bukin  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
30*d3916eacSRuslan Bukin  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
31*d3916eacSRuslan Bukin  * SUCH DAMAGE.
32*d3916eacSRuslan Bukin  */
33*d3916eacSRuslan Bukin 
34*d3916eacSRuslan Bukin #ifdef _KERNEL
35*d3916eacSRuslan Bukin #include <sys/param.h>
36*d3916eacSRuslan Bukin #include <sys/pcpu.h>
37*d3916eacSRuslan Bukin #include <sys/systm.h>
38*d3916eacSRuslan Bukin #include <sys/proc.h>
39*d3916eacSRuslan Bukin 
40*d3916eacSRuslan Bukin #include <vm/vm.h>
41*d3916eacSRuslan Bukin 
42*d3916eacSRuslan Bukin #include <machine/machdep.h>
43*d3916eacSRuslan Bukin #include <machine/vmm.h>
44*d3916eacSRuslan Bukin #else
45*d3916eacSRuslan Bukin #include <sys/types.h>
46*d3916eacSRuslan Bukin #include <sys/errno.h>
47*d3916eacSRuslan Bukin #include <sys/_iovec.h>
48*d3916eacSRuslan Bukin 
49*d3916eacSRuslan Bukin #include <machine/vmm.h>
50*d3916eacSRuslan Bukin 
51*d3916eacSRuslan Bukin #include <assert.h>
52*d3916eacSRuslan Bukin #include <stdio.h>
53*d3916eacSRuslan Bukin #include <stdlib.h>
54*d3916eacSRuslan Bukin #include <vmmapi.h>
55*d3916eacSRuslan Bukin #endif
56*d3916eacSRuslan Bukin 
57*d3916eacSRuslan Bukin #include <machine/vmm_instruction_emul.h>
58*d3916eacSRuslan Bukin 
59*d3916eacSRuslan Bukin int
vmm_emulate_instruction(struct vcpu * vcpu,uint64_t gpa,struct vie * vie,struct vm_guest_paging * paging __unused,mem_region_read_t memread,mem_region_write_t memwrite,void * memarg)60*d3916eacSRuslan Bukin vmm_emulate_instruction(struct vcpu *vcpu, uint64_t gpa, struct vie *vie,
61*d3916eacSRuslan Bukin     struct vm_guest_paging *paging __unused, mem_region_read_t memread,
62*d3916eacSRuslan Bukin     mem_region_write_t memwrite, void *memarg)
63*d3916eacSRuslan Bukin {
64*d3916eacSRuslan Bukin 	uint64_t val;
65*d3916eacSRuslan Bukin 	int error;
66*d3916eacSRuslan Bukin 
67*d3916eacSRuslan Bukin 	if (vie->dir == VM_DIR_READ) {
68*d3916eacSRuslan Bukin 		error = memread(vcpu, gpa, &val, vie->access_size, memarg);
69*d3916eacSRuslan Bukin 		if (error)
70*d3916eacSRuslan Bukin 			goto out;
71*d3916eacSRuslan Bukin 		if ((vie->sign_extend == 0) && (vie->access_size < 8))
72*d3916eacSRuslan Bukin 			val &= (1ul << (vie->access_size * 8)) - 1;
73*d3916eacSRuslan Bukin 		error = vm_set_register(vcpu, vie->reg, val);
74*d3916eacSRuslan Bukin 	} else {
75*d3916eacSRuslan Bukin 		error = vm_get_register(vcpu, vie->reg, &val);
76*d3916eacSRuslan Bukin 		if (error)
77*d3916eacSRuslan Bukin 			goto out;
78*d3916eacSRuslan Bukin 		/* Mask any unneeded bits from the register */
79*d3916eacSRuslan Bukin 		if (vie->access_size < 8)
80*d3916eacSRuslan Bukin 			val &= (1ul << (vie->access_size * 8)) - 1;
81*d3916eacSRuslan Bukin 		error = memwrite(vcpu, gpa, val, vie->access_size, memarg);
82*d3916eacSRuslan Bukin 	}
83*d3916eacSRuslan Bukin 
84*d3916eacSRuslan Bukin out:
85*d3916eacSRuslan Bukin 	return (error);
86*d3916eacSRuslan Bukin }
87*d3916eacSRuslan Bukin 
88*d3916eacSRuslan Bukin int
vmm_emulate_register(struct vcpu * vcpu,struct vre * vre,reg_read_t regread,reg_write_t regwrite,void * regarg)89*d3916eacSRuslan Bukin vmm_emulate_register(struct vcpu *vcpu, struct vre *vre, reg_read_t regread,
90*d3916eacSRuslan Bukin     reg_write_t regwrite, void *regarg)
91*d3916eacSRuslan Bukin {
92*d3916eacSRuslan Bukin 	uint64_t val;
93*d3916eacSRuslan Bukin 	int error;
94*d3916eacSRuslan Bukin 
95*d3916eacSRuslan Bukin 	if (vre->dir == VM_DIR_READ) {
96*d3916eacSRuslan Bukin 		error = regread(vcpu, &val, regarg);
97*d3916eacSRuslan Bukin 		if (error)
98*d3916eacSRuslan Bukin 			goto out;
99*d3916eacSRuslan Bukin 		error = vm_set_register(vcpu, vre->reg, val);
100*d3916eacSRuslan Bukin 	} else {
101*d3916eacSRuslan Bukin 		error = vm_get_register(vcpu, vre->reg, &val);
102*d3916eacSRuslan Bukin 		if (error)
103*d3916eacSRuslan Bukin 			goto out;
104*d3916eacSRuslan Bukin 		error = regwrite(vcpu, val, regarg);
105*d3916eacSRuslan Bukin 	}
106*d3916eacSRuslan Bukin 
107*d3916eacSRuslan Bukin out:
108*d3916eacSRuslan Bukin 	return (error);
109*d3916eacSRuslan Bukin }
110