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