quic/qbox
Loading...
Searching...
No Matches
max.h
1/*
2 * This file is part of libqbox
3 * Copyright (c) 2022-2023 Qualcomm Innovation Center, Inc. All Rights Reserved.
4 * Author: GreenSocs 2020
5 *
6 * SPDX-License-Identifier: BSD-3-Clause
7 */
8
9#pragma once
10
11#include <string>
12
13#include <cci_configuration>
14
15#include <libqemu-cxx/target/aarch64.h>
16
17#include <tlm-extensions/exclusive-access.h>
18
19#include <arm.h>
20#include <ports/qemu-initiator-signal-socket.h>
21#include <ports/qemu-target-signal-socket.h>
22
24{
25protected:
26 int get_psci_conduit_val() const
27 {
28 if (p_psci_conduit.get_value() == "disabled") {
29 return 0;
30 } else if (p_psci_conduit.get_value() == "smc") {
31 return 1;
32 } else if (p_psci_conduit.get_value() == "hvc") {
33 return 2;
34 } else {
35 /* TODO: report warning */
36 return 0;
37 }
38 }
39
40 void add_exclusive_ext(TlmPayload& pl)
41 {
43 ext->add_hop(m_cpu.get_index());
44 pl.set_extension(ext);
45 }
46
47 static uint64_t extract_data_from_payload(const TlmPayload& pl)
48 {
49 uint8_t* ptr = pl.get_data_ptr() + pl.get_data_length() - 1;
50 uint64_t ret = 0;
51
52 /* QEMU never accesses more than 64 bits at the same time */
53 assert(pl.get_data_length() <= 8);
54
55 while (ptr >= pl.get_data_ptr()) {
56 ret = (ret << 8) | *(ptr--);
57 }
58
59 return ret;
60 }
61
62public:
63 cci::cci_param<unsigned int> p_mp_affinity;
64 cci::cci_param<bool> p_has_el2;
65 cci::cci_param<bool> p_has_el3;
66 cci::cci_param<bool> p_start_powered_off;
67 cci::cci_param<std::string> p_psci_conduit;
68 cci::cci_param<uint64_t> p_rvbar;
69
74
75 QemuInitiatorSignalSocket irq_timer_phys_out;
76 QemuInitiatorSignalSocket irq_timer_virt_out;
77 QemuInitiatorSignalSocket irq_timer_hyp_out;
78 QemuInitiatorSignalSocket irq_timer_sec_out;
79 QemuInitiatorSignalSocket irq_maintenance_out;
80 QemuInitiatorSignalSocket irq_pmu_out;
81
82 QemuCpuArmMax(sc_core::sc_module_name name, QemuInstance& inst)
83 : QemuCpuArm(name, inst, "max-arm")
84 , p_mp_affinity("mp_affinity", 0, "Multi-processor affinity value")
85 , p_has_el2("has_el2", true, "ARM virtualization extensions")
86 , p_has_el3("has_el3", true, "ARM secure-mode extensions")
87 , p_start_powered_off("start_powered_off", false,
88 "Start and reset the CPU "
89 "in powered-off state")
90 , p_psci_conduit("psci_conduit", "disabled",
91 "Set the QEMU PSCI conduit: "
92 "disabled->no conduit, "
93 "hvc->through hvc call, "
94 "smc->through smc call")
95 , p_rvbar("rvbar", 0ull, "Reset vector base address register value")
96
97 , irq_in("irq_in")
98 , fiq_in("fiq_in")
99 , virq_in("virq_in")
100 , vfiq_in("vfiq_in")
101 , irq_timer_phys_out("irq_timer_phys_out")
102 , irq_timer_virt_out("irq_timer_virt_out")
103 , irq_timer_hyp_out("irq_timer_hyp_out")
104 , irq_timer_sec_out("irq_timer_sec_out")
105 , irq_maintenance_out("gicv3_maintenance_interrupt")
106 , irq_pmu_out("pmu_interrupt")
107 {
108 m_external_ev |= irq_in->default_event();
109 m_external_ev |= fiq_in->default_event();
110 m_external_ev |= virq_in->default_event();
111 m_external_ev |= vfiq_in->default_event();
112 }
113
114 void before_end_of_elaboration() override
115 {
116 QemuCpuArm::before_end_of_elaboration();
117
118 qemu::CpuAarch64 cpu(m_cpu);
119 cpu.set_aarch64_mode(true);
120
121 if (!p_mp_affinity.is_default_value()) {
122 cpu.set_prop_int("mp-affinity", p_mp_affinity);
123 }
124 cpu.set_prop_bool("has_el2", p_has_el2);
125 cpu.set_prop_bool("has_el3", p_has_el3);
126
127 cpu.set_prop_bool("start-powered-off", p_start_powered_off);
128 cpu.set_prop_int("psci-conduit", get_psci_conduit_val());
129
130 cpu.set_prop_int("rvbar", p_rvbar);
131 }
132
133 void end_of_elaboration() override
134 {
135 QemuCpuArm::end_of_elaboration();
136
137 irq_in.init(m_dev, 0);
138 fiq_in.init(m_dev, 1);
139 virq_in.init(m_dev, 2);
140 vfiq_in.init(m_dev, 3);
141
142 irq_timer_phys_out.init(m_dev, 0);
143 irq_timer_virt_out.init(m_dev, 1);
144 irq_timer_hyp_out.init(m_dev, 2);
145 irq_timer_sec_out.init(m_dev, 3);
146 irq_maintenance_out.init_named(m_dev, "gicv3-maintenance-interrupt", 0);
147 irq_pmu_out.init_named(m_dev, "pmu-interrupt", 0);
148 }
149
150 void initiator_customize_tlm_payload(TlmPayload& payload) override
151 {
154
155 QemuCpu::initiator_customize_tlm_payload(payload);
156
157 addr = payload.get_address();
158
159 if (!arm_cpu.is_in_exclusive_context()) {
160 return;
161 }
162
163 if (addr != arm_cpu.get_exclusive_addr()) {
164 return;
165 }
166
167 /*
168 * We are in the load/store pair of the cmpxchg of the exclusive store
169 * implementation. Add the exclusive access extension to lock the
170 * memory and check for exclusive store success in
171 * initiator_tidy_tlm_payload.
172 */
173 add_exclusive_ext(payload);
174 }
175
176 void initiator_tidy_tlm_payload(TlmPayload& payload) override
177 {
178 using namespace tlm;
179
182
183 QemuCpu::initiator_tidy_tlm_payload(payload);
184
185 payload.get_extension(ext);
186 bool exit_tb = false;
187
188 if (ext == nullptr) {
189 return;
190 }
191
192 if (payload.get_command() == TLM_WRITE_COMMAND) {
193 auto sta = ext->get_exclusive_store_status();
194
195 /* We just executed an exclusive store. Check its status */
196 if (sta == ExclusiveAccessTlmExtension::EXCLUSIVE_STORE_FAILURE) {
197 /*
198 * To actually make the exclusive store fails, we need to trick
199 * QEMU into thinking that the value at the store address has
200 * changed compared to when it did the corresponding ldrex (due
201 * to the way exclusive loads/stores are implemented in QEMU).
202 * For this, we simply smash the exclusive_val field of the ARM
203 * CPU state in case it currently matches with the value in
204 * memory.
205 */
206 uint64_t exclusive_val = arm_cpu.get_exclusive_val();
207 uint64_t mem_val = extract_data_from_payload(payload);
208 uint64_t mask = (payload.get_data_length() == 8) ? -1 : (1 << (8 * payload.get_data_length())) - 1;
209
210 if ((exclusive_val & mask) == mem_val) {
211 arm_cpu.set_exclusive_val(~exclusive_val);
212
213 /*
214 * Exit the execution loop to force QEMU to re-do the
215 * store. This is necessary because we modify exclusive_val
216 * in the CPU env. This field is also mapped on a TCG
217 * global. Even though the qemu_st_ixx TCG opcs are marked
218 * TCG_OPF_CALL_CLOBBER, TCG does not reload the global
219 * after the store as I thought it would do. To force this,
220 * we exit the TB here so that the new exclusive_val value
221 * will be taken into account on the next execution.
222 */
223 exit_tb = true;
224 }
225
226 payload.set_response_status(TLM_OK_RESPONSE);
227 }
228 }
229
230 payload.clear_extension(ext);
231 delete ext;
232
233 if (exit_tb) {
234 /*
235 * FIXME: exiting the CPU loop from here is a bit violent. The
236 * caller won't have a chance to destruct its stack objects. The
237 * object model should be reworked to allow exiting the loop
238 * cleanly.
239 */
240 m_cpu.exit_loop_from_io();
241 }
242 }
243};
Exclusive load/store TLM extension.
Definition exclusive-access.h:36
Definition max.h:24
Definition arm.h:14
A QEMU output GPIO exposed as a InitiatorSignalSocket<bool>
Definition qemu-initiator-signal-socket.h:40
void init_named(qemu::Device dev, const char *gpio_name, int gpio_idx)
Initialize this socket with a device, a GPIO namespace, and a GPIO index.
Definition qemu-initiator-signal-socket.h:155
void init(qemu::Device dev, int gpio_idx)
Initialize this socket with a device and a GPIO index.
Definition qemu-initiator-signal-socket.h:137
This class encapsulates a libqemu-cxx qemu::LibQemu instance. It handles QEMU parameters and instance...
Definition qemu-instance.h:89
A QEMU input GPIO exposed as a TargetSignalSocket<bool>
Definition qemu-target-signal-socket.h:29
void init(qemu::Device dev, int gpio_idx)
Initialize this socket with a device and a GPIO index.
Definition qemu-target-signal-socket.h:60
Definition target.h:160
Definition aarch64.h:36