1 // © 2022 Qualcomm Innovation Center, Inc. All rights reserved.
2 //
3 // SPDX-License-Identifier: BSD-3-Clause
4 
5 #include <assert.h>
6 #include <hyptypes.h>
7 
8 #include <thread.h>
9 #include <vcpu.h>
10 
11 #include <asm/system_registers.h>
12 // #include <asm/system_registers_cpu.h>
13 
14 #include "event_handlers.h"
15 
16 // There are no implementation specific EL1 registers to emulate for QEMU.
17 
18 vcpu_trap_result_t
sysreg_read_cpu(ESR_EL2_ISS_MSR_MRS_t iss)19 sysreg_read_cpu(ESR_EL2_ISS_MSR_MRS_t iss)
20 {
21 	(void)iss;
22 	return VCPU_TRAP_RESULT_UNHANDLED;
23 }
24 
25 vcpu_trap_result_t
sysreg_write_cpu(ESR_EL2_ISS_MSR_MRS_t iss)26 sysreg_write_cpu(ESR_EL2_ISS_MSR_MRS_t iss)
27 {
28 	(void)iss;
29 	return VCPU_TRAP_RESULT_UNHANDLED;
30 }
31