blob: a804a11ed4d6813887b5c030cea595c9b3fba451 [file] [log] [blame]
Andrew Scull18834872018-10-12 11:48:09 +01001/*
2 * Copyright 2018 Google LLC
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * https://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Andrew Scull18c78fc2018-08-20 12:57:41 +010017#include "hf/api.h"
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010018
Andrew Scull13652af2018-09-17 14:49:08 +010019#include <assert.h>
20
Andrew Walbran318f5732018-11-20 16:23:42 +000021#include "hf/arch/cpu.h"
22
23#include "hf/dlog.h"
Andrew Scull18c78fc2018-08-20 12:57:41 +010024#include "hf/std.h"
25#include "hf/vm.h"
26
Andrew Scullf35a5c92018-08-07 18:09:46 +010027#include "vmapi/hf/call.h"
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010028
Wedson Almeida Filhoba641ef2018-12-03 04:19:44 +000029/*
30 * To eliminate the risk of deadlocks, we define a partial order for the
31 * acquisition of locks held concurrently by the same physical CPU. Our current
32 * ordering requirements are as follows:
33 *
34 * vm::lock -> vcpu::lock
35 */
36
Andrew Scullaa039b32018-10-04 15:02:26 +010037static_assert(HF_MAILBOX_SIZE == PAGE_SIZE,
Andrew Scull13652af2018-09-17 14:49:08 +010038 "Currently, a page is mapped for the send and receive buffers so "
39 "the maximum request is the size of a page.");
40
Wedson Almeida Filho9ed8da52018-12-17 16:09:11 +000041static struct mpool api_page_pool;
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +000042
43/**
Wedson Almeida Filho81568c42019-01-04 13:33:02 +000044 * Initialises the API page pool by taking ownership of the contents of the
45 * given page pool.
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +000046 */
47void api_init(struct mpool *ppool)
48{
Wedson Almeida Filho9ed8da52018-12-17 16:09:11 +000049 mpool_init_from(&api_page_pool, ppool);
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +000050}
51
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010052/**
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +010053 * Switches the physical CPU back to the corresponding vcpu of the primary VM.
Andrew Scullaa039b32018-10-04 15:02:26 +010054 *
55 * This triggers the scheduling logic to run. Run in the context of secondary VM
56 * to cause HF_VCPU_RUN to return and the primary VM to regain control of the
57 * cpu.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +010058 */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +010059static struct vcpu *api_switch_to_primary(struct vcpu *current,
Wedson Almeida Filhoba641ef2018-12-03 04:19:44 +000060 struct hf_vcpu_run_return primary_ret,
61 enum vcpu_state secondary_state)
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +010062{
Andrew Scull19503262018-09-20 14:48:39 +010063 struct vm *primary = vm_get(HF_PRIMARY_VM_ID);
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +010064 struct vcpu *next = &primary->vcpus[cpu_index(current->cpu)];
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +010065
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +010066 /* Set the return value for the primary VM's call to HF_VCPU_RUN. */
Andrew Scull6d2db332018-10-10 15:28:17 +010067 arch_regs_set_retval(&next->regs,
68 hf_vcpu_run_return_encode(primary_ret));
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +010069
Wedson Almeida Filhoba641ef2018-12-03 04:19:44 +000070 /* Mark the current vcpu as waiting. */
71 sl_lock(&current->lock);
72 current->state = secondary_state;
73 sl_unlock(&current->lock);
74
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +010075 return next;
76}
77
78/**
Andrew Scullaa039b32018-10-04 15:02:26 +010079 * Returns to the primary vm leaving the current vcpu ready to be scheduled
80 * again.
81 */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +010082struct vcpu *api_yield(struct vcpu *current)
Andrew Scullaa039b32018-10-04 15:02:26 +010083{
Andrew Scull6d2db332018-10-10 15:28:17 +010084 struct hf_vcpu_run_return ret = {
85 .code = HF_VCPU_RUN_YIELD,
86 };
Wedson Almeida Filho81568c42019-01-04 13:33:02 +000087
Wedson Almeida Filhoba641ef2018-12-03 04:19:44 +000088 return api_switch_to_primary(current, ret, vcpu_state_ready);
Andrew Scullaa039b32018-10-04 15:02:26 +010089}
90
91/**
92 * Puts the current vcpu in wait for interrupt mode, and returns to the primary
93 * vm.
94 */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +010095struct vcpu *api_wait_for_interrupt(struct vcpu *current)
Andrew Scullaa039b32018-10-04 15:02:26 +010096{
Andrew Scull6d2db332018-10-10 15:28:17 +010097 struct hf_vcpu_run_return ret = {
98 .code = HF_VCPU_RUN_WAIT_FOR_INTERRUPT,
99 };
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000100
Wedson Almeida Filhoba641ef2018-12-03 04:19:44 +0000101 return api_switch_to_primary(current, ret,
102 vcpu_state_blocked_interrupt);
Andrew Scullaa039b32018-10-04 15:02:26 +0100103}
104
105/**
Andrew Scull55c4d8b2018-12-18 18:50:18 +0000106 * Returns the ID of the VM.
107 */
108int64_t api_vm_get_id(const struct vcpu *current)
109{
110 return current->vm->id;
111}
112
113/**
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100114 * Returns the number of VMs configured to run.
115 */
Andrew Scullc0e569a2018-10-02 18:05:21 +0100116int64_t api_vm_get_count(void)
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100117{
Andrew Scull19503262018-09-20 14:48:39 +0100118 return vm_get_count();
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100119}
120
121/**
122 * Returns the number of vcpus configured in the given VM.
123 */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100124int64_t api_vcpu_get_count(uint32_t vm_id, const struct vcpu *current)
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100125{
Andrew Scull19503262018-09-20 14:48:39 +0100126 struct vm *vm;
127
128 /* Only the primary VM needs to know about vcpus for scheduling. */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100129 if (current->vm->id != HF_PRIMARY_VM_ID) {
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100130 return -1;
Andrew Scull7364a8e2018-07-19 15:39:29 +0100131 }
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100132
Andrew Scull19503262018-09-20 14:48:39 +0100133 vm = vm_get(vm_id);
134 if (vm == NULL) {
135 return -1;
136 }
137
138 return vm->vcpu_count;
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100139}
140
141/**
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000142 * This function is called by the architecture-specific context switching
143 * function to indicate that register state for the given vcpu has been saved
144 * and can therefore be used by other pcpus.
145 */
146void api_regs_state_saved(struct vcpu *vcpu)
147{
148 sl_lock(&vcpu->lock);
149 vcpu->regs_available = true;
150 sl_unlock(&vcpu->lock);
151}
152
153/**
154 * Prepares the vcpu to run by updating its state and fetching whether a return
155 * value needs to be forced onto the vCPU.
156 */
157static bool api_vcpu_prepare_run(const struct vcpu *current, struct vcpu *vcpu,
158 struct retval_state *vcpu_retval)
159{
160 bool ret;
161
162 sl_lock(&vcpu->lock);
163 if (vcpu->state != vcpu_state_ready) {
164 ret = false;
165 goto out;
166 }
167
168 vcpu->cpu = current->cpu;
169 vcpu->state = vcpu_state_running;
170
171 /* Fetch return value to inject into vCPU if there is one. */
172 *vcpu_retval = vcpu->retval;
173 if (vcpu_retval->force) {
174 vcpu->retval.force = false;
175 }
176
177 /*
178 * Wait until the registers become available. Care must be taken when
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000179 * looping on this: it shouldn't be done while holding other locks to
180 * avoid deadlocks.
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000181 */
182 while (!vcpu->regs_available) {
183 sl_unlock(&vcpu->lock);
184 sl_lock(&vcpu->lock);
185 }
186
187 /*
188 * Mark the registers as unavailable now that we're about to reflect
189 * them onto the real registers. This will also prevent another physical
190 * CPU from trying to read these registers.
191 */
192 vcpu->regs_available = false;
193
194 ret = true;
195
196out:
197 sl_unlock(&vcpu->lock);
198 return ret;
199}
200
201/**
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100202 * Runs the given vcpu of the given vm.
203 */
Andrew Scull6d2db332018-10-10 15:28:17 +0100204struct hf_vcpu_run_return api_vcpu_run(uint32_t vm_id, uint32_t vcpu_idx,
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100205 const struct vcpu *current,
Andrew Scull6d2db332018-10-10 15:28:17 +0100206 struct vcpu **next)
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100207{
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100208 struct vm *vm;
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100209 struct vcpu *vcpu;
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000210 struct retval_state vcpu_retval;
Andrew Scull6d2db332018-10-10 15:28:17 +0100211 struct hf_vcpu_run_return ret = {
212 .code = HF_VCPU_RUN_WAIT_FOR_INTERRUPT,
213 };
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100214
215 /* Only the primary VM can switch vcpus. */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100216 if (current->vm->id != HF_PRIMARY_VM_ID) {
Andrew Scull6d2db332018-10-10 15:28:17 +0100217 goto out;
Andrew Scull7364a8e2018-07-19 15:39:29 +0100218 }
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100219
Andrew Scull19503262018-09-20 14:48:39 +0100220 /* Only secondary VM vcpus can be run. */
221 if (vm_id == HF_PRIMARY_VM_ID) {
Andrew Scull6d2db332018-10-10 15:28:17 +0100222 goto out;
Andrew Scull7364a8e2018-07-19 15:39:29 +0100223 }
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100224
Andrew Scull19503262018-09-20 14:48:39 +0100225 /* The requested VM must exist. */
226 vm = vm_get(vm_id);
227 if (vm == NULL) {
Andrew Scull6d2db332018-10-10 15:28:17 +0100228 goto out;
Andrew Scull19503262018-09-20 14:48:39 +0100229 }
230
231 /* The requested vcpu must exist. */
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100232 if (vcpu_idx >= vm->vcpu_count) {
Andrew Scull6d2db332018-10-10 15:28:17 +0100233 goto out;
Andrew Scull7364a8e2018-07-19 15:39:29 +0100234 }
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100235
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000236 /* Update state if allowed. */
Andrew Scullf3d45592018-09-20 14:30:22 +0100237 vcpu = &vm->vcpus[vcpu_idx];
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000238 if (!api_vcpu_prepare_run(current, vcpu, &vcpu_retval)) {
Andrew Scull6d2db332018-10-10 15:28:17 +0100239 ret.code = HF_VCPU_RUN_WAIT_FOR_INTERRUPT;
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000240 goto out;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100241 }
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000242
243 *next = vcpu;
244 ret.code = HF_VCPU_RUN_YIELD;
245
246 /* Update return value if one was injected. */
247 if (vcpu_retval.force) {
248 arch_regs_set_retval(&vcpu->regs, vcpu_retval.value);
249 }
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100250
Andrew Scull6d2db332018-10-10 15:28:17 +0100251out:
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100252 return ret;
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100253}
254
255/**
Andrew Scull81e85092018-12-12 12:56:20 +0000256 * Check that the mode indicates memory that is valid, owned and exclusive.
257 */
258bool static api_mode_valid_owned_and_exclusive(int mode)
259{
260 return (mode & (MM_MODE_INVALID | MM_MODE_UNOWNED | MM_MODE_SHARED)) ==
261 0;
262}
263
264/**
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100265 * Configures the VM to send/receive data through the specified pages. The pages
266 * must not be shared.
267 */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100268int64_t api_vm_configure(ipaddr_t send, ipaddr_t recv,
269 const struct vcpu *current)
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100270{
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100271 struct vm *vm = current->vm;
Andrew Scull80871322018-08-06 12:04:09 +0100272 paddr_t pa_send_begin;
273 paddr_t pa_send_end;
274 paddr_t pa_recv_begin;
275 paddr_t pa_recv_end;
Andrew Scull81e85092018-12-12 12:56:20 +0000276 int mode;
Andrew Scullc0e569a2018-10-02 18:05:21 +0100277 int64_t ret;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100278
279 /* Fail if addresses are not page-aligned. */
Andrew Scull265ada92018-07-30 15:19:01 +0100280 if ((ipa_addr(send) & (PAGE_SIZE - 1)) ||
281 (ipa_addr(recv) & (PAGE_SIZE - 1))) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100282 return -1;
283 }
284
285 sl_lock(&vm->lock);
286
287 /* We only allow these to be setup once. */
Andrew Scullaa039b32018-10-04 15:02:26 +0100288 if (vm->mailbox.send || vm->mailbox.recv) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100289 ret = -1;
290 goto exit;
291 }
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100292
Andrew Scull81e85092018-12-12 12:56:20 +0000293 /* Ensure the pages are valid, owned and exclusive to the VM. */
294 if (!mm_vm_get_mode(&vm->ptable, send, ipa_add(send, PAGE_SIZE),
295 &mode) ||
296 !api_mode_valid_owned_and_exclusive(mode)) {
297 ret = -1;
298 goto exit;
299 }
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100300
Andrew Scull81e85092018-12-12 12:56:20 +0000301 if (!mm_vm_get_mode(&vm->ptable, recv, ipa_add(recv, PAGE_SIZE),
302 &mode) ||
303 !api_mode_valid_owned_and_exclusive(mode)) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100304 ret = -1;
305 goto exit;
306 }
307
Andrew Scullc2eb6a32018-12-13 16:54:24 +0000308 /* Convert to physical addresses. */
309 pa_send_begin = pa_from_ipa(send);
310 pa_send_end = pa_add(pa_send_begin, PAGE_SIZE);
311
312 pa_recv_begin = pa_from_ipa(recv);
313 pa_recv_end = pa_add(pa_recv_begin, PAGE_SIZE);
314
Andrew Scullc9ccb3f2018-08-13 15:27:12 +0100315 /* Fail if the same page is used for the send and receive pages. */
316 if (pa_addr(pa_send_begin) == pa_addr(pa_recv_begin)) {
317 ret = -1;
318 goto exit;
319 }
320
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100321 /* Map the send page as read-only in the hypervisor address space. */
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000322 vm->mailbox.send = mm_identity_map(pa_send_begin, pa_send_end,
Wedson Almeida Filho9ed8da52018-12-17 16:09:11 +0000323 MM_MODE_R, &api_page_pool);
Andrew Scullaa039b32018-10-04 15:02:26 +0100324 if (!vm->mailbox.send) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100325 ret = -1;
326 goto exit;
327 }
328
329 /*
330 * Map the receive page as writable in the hypervisor address space. On
331 * failure, unmap the send page before returning.
332 */
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000333 vm->mailbox.recv = mm_identity_map(pa_recv_begin, pa_recv_end,
Wedson Almeida Filho9ed8da52018-12-17 16:09:11 +0000334 MM_MODE_W, &api_page_pool);
Andrew Scullaa039b32018-10-04 15:02:26 +0100335 if (!vm->mailbox.recv) {
336 vm->mailbox.send = NULL;
Wedson Almeida Filho9ed8da52018-12-17 16:09:11 +0000337 mm_unmap(pa_send_begin, pa_send_end, 0, &api_page_pool);
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100338 ret = -1;
339 goto exit;
340 }
341
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100342 /* TODO: Notify any waiters. */
343
344 ret = 0;
345exit:
346 sl_unlock(&vm->lock);
347
348 return ret;
349}
350
351/**
Andrew Scullaa039b32018-10-04 15:02:26 +0100352 * Copies data from the sender's send buffer to the recipient's receive buffer
353 * and notifies the recipient.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100354 */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100355int64_t api_mailbox_send(uint32_t vm_id, size_t size, struct vcpu *current,
356 struct vcpu **next)
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100357{
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100358 struct vm *from = current->vm;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100359 struct vm *to;
360 const void *from_buf;
Andrew Scullaa039b32018-10-04 15:02:26 +0100361 uint16_t vcpu;
Andrew Scullc0e569a2018-10-02 18:05:21 +0100362 int64_t ret;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100363
Andrew Scullaa039b32018-10-04 15:02:26 +0100364 /* Limit the size of transfer. */
365 if (size > HF_MAILBOX_SIZE) {
Andrew Scull19503262018-09-20 14:48:39 +0100366 return -1;
367 }
368
369 /* Disallow reflexive requests as this suggests an error in the VM. */
370 if (vm_id == from->id) {
371 return -1;
372 }
373
374 /* Ensure the target VM exists. */
375 to = vm_get(vm_id);
376 if (to == NULL) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100377 return -1;
378 }
379
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100380 /*
381 * Check that the sender has configured its send buffer. It is safe to
382 * use from_buf after releasing the lock because the buffer cannot be
383 * modified once it's configured.
384 */
385 sl_lock(&from->lock);
Andrew Scullaa039b32018-10-04 15:02:26 +0100386 from_buf = from->mailbox.send;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100387 sl_unlock(&from->lock);
Andrew Scullaa039b32018-10-04 15:02:26 +0100388 if (from_buf == NULL) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100389 return -1;
390 }
391
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100392 sl_lock(&to->lock);
393
Andrew Scullaa039b32018-10-04 15:02:26 +0100394 if (to->mailbox.state != mailbox_state_empty ||
395 to->mailbox.recv == NULL) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100396 /* Fail if the target isn't currently ready to receive data. */
397 ret = -1;
Andrew Scullaa039b32018-10-04 15:02:26 +0100398 goto out;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100399 }
400
Andrew Scullaa039b32018-10-04 15:02:26 +0100401 /* Copy data. */
402 memcpy(to->mailbox.recv, from_buf, size);
403 to->mailbox.recv_bytes = size;
404 to->mailbox.recv_from_id = from->id;
405 to->mailbox.state = mailbox_state_read;
406
407 /* Messages for the primary VM are delivered directly. */
408 if (to->id == HF_PRIMARY_VM_ID) {
Wedson Almeida Filho80eb4a32018-11-30 17:11:15 +0000409 struct hf_vcpu_run_return primary_ret = {
410 .code = HF_VCPU_RUN_MESSAGE,
411 .message.size = size,
412 };
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000413
Wedson Almeida Filhoba641ef2018-12-03 04:19:44 +0000414 *next = api_switch_to_primary(current, primary_ret,
415 vcpu_state_ready);
Andrew Scullaa039b32018-10-04 15:02:26 +0100416 ret = 0;
417 goto out;
418 }
419
420 /*
421 * Try to find a vcpu to handle the message and tell the scheduler to
422 * run it.
423 */
424 if (to->mailbox.recv_waiter == NULL) {
425 /*
426 * The scheduler must choose a vcpu to interrupt so it can
427 * handle the message.
428 */
429 to->mailbox.state = mailbox_state_received;
430 vcpu = HF_INVALID_VCPU;
431 } else {
432 struct vcpu *to_vcpu = to->mailbox.recv_waiter;
433
434 /*
Wedson Almeida Filho80eb4a32018-11-30 17:11:15 +0000435 * Take target vcpu out of waiter list and mark it as ready to
436 * run again.
Andrew Scullaa039b32018-10-04 15:02:26 +0100437 */
438 sl_lock(&to_vcpu->lock);
439 to->mailbox.recv_waiter = to_vcpu->mailbox_next;
440 to_vcpu->state = vcpu_state_ready;
441
442 /* Return from HF_MAILBOX_RECEIVE. */
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000443 to_vcpu->retval.force = true;
444 to_vcpu->retval.value = hf_mailbox_receive_return_encode(
445 (struct hf_mailbox_receive_return){
446 .vm_id = to->mailbox.recv_from_id,
447 .size = size,
448 });
Andrew Scullaa039b32018-10-04 15:02:26 +0100449
450 sl_unlock(&to_vcpu->lock);
451
452 vcpu = to_vcpu - to->vcpus;
453 }
454
455 /* Return to the primary VM directly or with a switch. */
Wedson Almeida Filho80eb4a32018-11-30 17:11:15 +0000456 if (from->id == HF_PRIMARY_VM_ID) {
457 ret = vcpu;
458 } else {
459 struct hf_vcpu_run_return primary_ret = {
460 .code = HF_VCPU_RUN_WAKE_UP,
461 .wake_up.vm_id = to->id,
462 .wake_up.vcpu = vcpu,
463 };
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000464
Wedson Almeida Filhoba641ef2018-12-03 04:19:44 +0000465 *next = api_switch_to_primary(current, primary_ret,
466 vcpu_state_ready);
Wedson Almeida Filho80eb4a32018-11-30 17:11:15 +0000467 ret = 0;
468 }
Andrew Scullaa039b32018-10-04 15:02:26 +0100469
470out:
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100471 sl_unlock(&to->lock);
472
Wedson Almeida Filho80eb4a32018-11-30 17:11:15 +0000473 return ret;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100474}
475
476/**
Andrew Scullaa039b32018-10-04 15:02:26 +0100477 * Receives a message from the mailbox. If one isn't available, this function
478 * can optionally block the caller until one becomes available.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100479 *
Andrew Scullaa039b32018-10-04 15:02:26 +0100480 * No new messages can be received until the mailbox has been cleared.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100481 */
Andrew Scull6d2db332018-10-10 15:28:17 +0100482struct hf_mailbox_receive_return api_mailbox_receive(bool block,
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100483 struct vcpu *current,
Andrew Scull6d2db332018-10-10 15:28:17 +0100484 struct vcpu **next)
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100485{
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100486 struct vm *vm = current->vm;
Andrew Scull6d2db332018-10-10 15:28:17 +0100487 struct hf_mailbox_receive_return ret = {
488 .vm_id = HF_INVALID_VM_ID,
489 };
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100490
Andrew Scullaa039b32018-10-04 15:02:26 +0100491 /*
492 * The primary VM will receive messages as a status code from running
493 * vcpus and must not call this function.
494 */
Andrew Scull19503262018-09-20 14:48:39 +0100495 if (vm->id == HF_PRIMARY_VM_ID) {
Andrew Scull6d2db332018-10-10 15:28:17 +0100496 return ret;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100497 }
498
499 sl_lock(&vm->lock);
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100500
Andrew Scullaa039b32018-10-04 15:02:26 +0100501 /* Return pending messages without blocking. */
502 if (vm->mailbox.state == mailbox_state_received) {
503 vm->mailbox.state = mailbox_state_read;
Andrew Scull6d2db332018-10-10 15:28:17 +0100504 ret.vm_id = vm->mailbox.recv_from_id;
505 ret.size = vm->mailbox.recv_bytes;
Andrew Scullaa039b32018-10-04 15:02:26 +0100506 goto out;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100507 }
Andrew Scullaa039b32018-10-04 15:02:26 +0100508
509 /* No pending message so fail if not allowed to block. */
510 if (!block) {
Andrew Scullaa039b32018-10-04 15:02:26 +0100511 goto out;
512 }
513
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100514 sl_lock(&current->lock);
Andrew Scullaa039b32018-10-04 15:02:26 +0100515
516 /* Push vcpu into waiter list. */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100517 current->mailbox_next = vm->mailbox.recv_waiter;
518 vm->mailbox.recv_waiter = current;
519 sl_unlock(&current->lock);
Andrew Scullaa039b32018-10-04 15:02:26 +0100520
521 /* Switch back to primary vm to block. */
Andrew Walbranb4816552018-12-05 17:35:42 +0000522 {
523 struct hf_vcpu_run_return run_return = {
524 .code = HF_VCPU_RUN_WAIT_FOR_INTERRUPT,
525 };
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000526
Andrew Walbranb4816552018-12-05 17:35:42 +0000527 *next = api_switch_to_primary(current, run_return,
528 vcpu_state_blocked_mailbox);
529 }
Andrew Scullaa039b32018-10-04 15:02:26 +0100530out:
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100531 sl_unlock(&vm->lock);
532
533 return ret;
534}
535
536/**
Andrew Scullaa039b32018-10-04 15:02:26 +0100537 * Clears the caller's mailbox so that a new message can be received. The caller
538 * must have copied out all data they wish to preserve as new messages will
539 * overwrite the old and will arrive asynchronously.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100540 */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100541int64_t api_mailbox_clear(const struct vcpu *current)
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100542{
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100543 struct vm *vm = current->vm;
Andrew Scullc0e569a2018-10-02 18:05:21 +0100544 int64_t ret;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100545
546 sl_lock(&vm->lock);
Andrew Scullaa039b32018-10-04 15:02:26 +0100547 if (vm->mailbox.state == mailbox_state_read) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100548 ret = 0;
Andrew Scullaa039b32018-10-04 15:02:26 +0100549 vm->mailbox.state = mailbox_state_empty;
550 } else {
551 ret = -1;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100552 }
553 sl_unlock(&vm->lock);
554
555 if (ret == 0) {
556 /* TODO: Notify waiters, if any. */
557 }
558
559 return ret;
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100560}
Andrew Walbran318f5732018-11-20 16:23:42 +0000561
562/**
563 * Enables or disables a given interrupt ID for the calling vCPU.
564 *
565 * Returns 0 on success, or -1 if the intid is invalid.
566 */
567int64_t api_enable_interrupt(uint32_t intid, bool enable, struct vcpu *current)
568{
569 uint32_t intid_index = intid / INTERRUPT_REGISTER_BITS;
570 uint32_t intid_mask = 1u << (intid % INTERRUPT_REGISTER_BITS);
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000571
Andrew Walbran318f5732018-11-20 16:23:42 +0000572 if (intid >= HF_NUM_INTIDS) {
573 return -1;
574 }
575
576 sl_lock(&current->lock);
577 if (enable) {
Andrew Walbran3d84a262018-12-13 14:41:19 +0000578 /*
579 * If it is pending and was not enabled before, increment the
580 * count.
581 */
582 if (current->interrupts.interrupt_pending[intid_index] &
583 ~current->interrupts.interrupt_enabled[intid_index] &
584 intid_mask) {
585 current->interrupts.enabled_and_pending_count++;
586 }
Andrew Walbran318f5732018-11-20 16:23:42 +0000587 current->interrupts.interrupt_enabled[intid_index] |=
588 intid_mask;
Andrew Walbran318f5732018-11-20 16:23:42 +0000589 } else {
Andrew Walbran3d84a262018-12-13 14:41:19 +0000590 /*
591 * If it is pending and was enabled before, decrement the count.
592 */
593 if (current->interrupts.interrupt_pending[intid_index] &
594 current->interrupts.interrupt_enabled[intid_index] &
595 intid_mask) {
596 current->interrupts.enabled_and_pending_count--;
597 }
Andrew Walbran318f5732018-11-20 16:23:42 +0000598 current->interrupts.interrupt_enabled[intid_index] &=
599 ~intid_mask;
600 }
601
602 sl_unlock(&current->lock);
603 return 0;
604}
605
606/**
607 * Returns the ID of the next pending interrupt for the calling vCPU, and
608 * acknowledges it (i.e. marks it as no longer pending). Returns
609 * HF_INVALID_INTID if there are no pending interrupts.
610 */
611uint32_t api_get_and_acknowledge_interrupt(struct vcpu *current)
612{
613 uint8_t i;
614 uint32_t first_interrupt = HF_INVALID_INTID;
Andrew Walbran318f5732018-11-20 16:23:42 +0000615
616 /*
617 * Find the first enabled and pending interrupt ID, return it, and
618 * deactivate it.
619 */
620 sl_lock(&current->lock);
621 for (i = 0; i < HF_NUM_INTIDS / INTERRUPT_REGISTER_BITS; ++i) {
622 uint32_t enabled_and_pending =
623 current->interrupts.interrupt_enabled[i] &
624 current->interrupts.interrupt_pending[i];
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000625
Andrew Walbran318f5732018-11-20 16:23:42 +0000626 if (enabled_and_pending != 0) {
Andrew Walbran3d84a262018-12-13 14:41:19 +0000627 uint8_t bit_index = ctz(enabled_and_pending);
628 /*
629 * Mark it as no longer pending and decrement the count.
630 */
631 current->interrupts.interrupt_pending[i] &=
632 ~(1u << bit_index);
633 current->interrupts.enabled_and_pending_count--;
634 first_interrupt =
635 i * INTERRUPT_REGISTER_BITS + bit_index;
Andrew Walbran318f5732018-11-20 16:23:42 +0000636 break;
637 }
638 }
Andrew Walbran318f5732018-11-20 16:23:42 +0000639
640 sl_unlock(&current->lock);
641 return first_interrupt;
642}
643
644/**
Andrew Walbran4cf217a2018-12-14 15:24:50 +0000645 * Returns whether the current vCPU is allowed to inject an interrupt into the
Andrew Walbran318f5732018-11-20 16:23:42 +0000646 * given VM and vCPU.
647 */
648static inline bool is_injection_allowed(uint32_t target_vm_id,
649 struct vcpu *current)
650{
651 uint32_t current_vm_id = current->vm->id;
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000652
Andrew Walbran318f5732018-11-20 16:23:42 +0000653 /*
654 * The primary VM is allowed to inject interrupts into any VM. Secondary
655 * VMs are only allowed to inject interrupts into their own vCPUs.
656 */
657 return current_vm_id == HF_PRIMARY_VM_ID ||
658 current_vm_id == target_vm_id;
659}
660
661/**
662 * Injects a virtual interrupt of the given ID into the given target vCPU.
663 * This doesn't cause the vCPU to actually be run immediately; it will be taken
664 * when the vCPU is next run, which is up to the scheduler.
665 *
Andrew Walbran3d84a262018-12-13 14:41:19 +0000666 * Returns:
667 * - -1 on failure because the target VM or vCPU doesn't exist, the interrupt
668 * ID is invalid, or the current VM is not allowed to inject interrupts to
669 * the target VM.
670 * - 0 on success if no further action is needed.
671 * - 1 if it was called by the primary VM and the primary VM now needs to wake
672 * up or kick the target vCPU.
Andrew Walbran318f5732018-11-20 16:23:42 +0000673 */
674int64_t api_inject_interrupt(uint32_t target_vm_id, uint32_t target_vcpu_idx,
675 uint32_t intid, struct vcpu *current,
676 struct vcpu **next)
677{
678 uint32_t intid_index = intid / INTERRUPT_REGISTER_BITS;
679 uint32_t intid_mask = 1u << (intid % INTERRUPT_REGISTER_BITS);
680 struct vcpu *target_vcpu;
681 struct vm *target_vm = vm_get(target_vm_id);
Andrew Walbran69520dc2018-12-06 11:39:38 +0000682 bool need_vm_lock;
Andrew Walbran3d84a262018-12-13 14:41:19 +0000683 int64_t ret = 0;
Andrew Walbran318f5732018-11-20 16:23:42 +0000684
685 if (intid >= HF_NUM_INTIDS) {
686 return -1;
687 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000688
Andrew Walbran318f5732018-11-20 16:23:42 +0000689 if (target_vm == NULL) {
690 return -1;
691 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000692
Andrew Walbran318f5732018-11-20 16:23:42 +0000693 if (target_vcpu_idx >= target_vm->vcpu_count) {
694 /* The requested vcpu must exist. */
695 return -1;
696 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000697
Andrew Walbran318f5732018-11-20 16:23:42 +0000698 if (!is_injection_allowed(target_vm_id, current)) {
699 return -1;
700 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000701
Andrew Walbran318f5732018-11-20 16:23:42 +0000702 target_vcpu = &target_vm->vcpus[target_vcpu_idx];
703
704 dlog("Injecting IRQ %d for VM %d VCPU %d from VM %d VCPU %d\n", intid,
705 target_vm_id, target_vcpu_idx, current->vm->id, current->cpu->id);
706
707 sl_lock(&target_vcpu->lock);
Andrew Walbran69520dc2018-12-06 11:39:38 +0000708 /*
709 * If we need the target_vm lock we need to release the target_vcpu lock
710 * first to maintain the correct order of locks. In-between releasing
711 * and acquiring it again the state of the vCPU could change in such a
712 * way that we don't actually need to touch the target_vm after all, but
713 * that's alright: we'll take the target_vm lock anyway, but it's safe,
714 * just perhaps a little slow in this unusual case. The reverse is not
715 * possible: if need_vm_lock is false, we don't release the target_vcpu
716 * lock until we are done, so nothing should change in such as way that
717 * we need the VM lock after all.
718 */
Andrew Walbran3d84a262018-12-13 14:41:19 +0000719 need_vm_lock =
720 (target_vcpu->interrupts.interrupt_enabled[intid_index] &
721 ~target_vcpu->interrupts.interrupt_pending[intid_index] &
722 intid_mask) &&
723 target_vcpu->state == vcpu_state_blocked_mailbox;
Andrew Walbran69520dc2018-12-06 11:39:38 +0000724 if (need_vm_lock) {
725 sl_unlock(&target_vcpu->lock);
726 sl_lock(&target_vm->lock);
727 sl_lock(&target_vcpu->lock);
728 }
Andrew Walbran318f5732018-11-20 16:23:42 +0000729
Andrew Walbran3d84a262018-12-13 14:41:19 +0000730 /*
731 * We only need to change state and (maybe) trigger a virtual IRQ if it
732 * is enabled and was not previously pending. Otherwise we can skip
733 * everything except setting the pending bit.
734 *
735 * If you change this logic make sure to update the need_vm_lock logic
736 * above to match.
737 */
738 if (!(target_vcpu->interrupts.interrupt_enabled[intid_index] &
739 ~target_vcpu->interrupts.interrupt_pending[intid_index] &
740 intid_mask)) {
741 goto out;
742 }
743
744 /* Increment the count. */
745 target_vcpu->interrupts.enabled_and_pending_count++;
Andrew Walbran318f5732018-11-20 16:23:42 +0000746
Andrew Walbran69520dc2018-12-06 11:39:38 +0000747 /*
Andrew Walbran3d84a262018-12-13 14:41:19 +0000748 * Only need to update state if there was not already an
749 * interrupt enabled and pending.
Andrew Walbran69520dc2018-12-06 11:39:38 +0000750 */
Andrew Walbran3d84a262018-12-13 14:41:19 +0000751 if (target_vcpu->interrupts.enabled_and_pending_count != 1) {
752 goto out;
753 }
Andrew Walbran318f5732018-11-20 16:23:42 +0000754
Andrew Walbran3d84a262018-12-13 14:41:19 +0000755 if (target_vcpu->state == vcpu_state_blocked_interrupt) {
756 target_vcpu->state = vcpu_state_ready;
757 } else if (target_vcpu->state == vcpu_state_blocked_mailbox) {
758 /*
759 * If you change this logic make sure to update the need_vm_lock
760 * logic above to match.
761 */
762 target_vcpu->state = vcpu_state_ready;
Andrew Walbran69520dc2018-12-06 11:39:38 +0000763
Andrew Walbran3d84a262018-12-13 14:41:19 +0000764 /* Take target vCPU out of mailbox recv_waiter list. */
765 /*
766 * TODO: Consider using a doubly-linked list for
767 * the receive waiter list to avoid the linear
768 * search here.
769 */
770 struct vcpu **previous_next_pointer =
771 &target_vm->mailbox.recv_waiter;
772 while (*previous_next_pointer != NULL &&
773 *previous_next_pointer != target_vcpu) {
Andrew Walbran69520dc2018-12-06 11:39:38 +0000774 /*
Andrew Walbran3d84a262018-12-13 14:41:19 +0000775 * TODO(qwandor): Do we need to lock the vCPUs somehow
776 * while we walk the linked list, or is the VM lock
777 * enough?
Andrew Walbran69520dc2018-12-06 11:39:38 +0000778 */
Andrew Walbran3d84a262018-12-13 14:41:19 +0000779 previous_next_pointer =
780 &(*previous_next_pointer)->mailbox_next;
Andrew Walbran318f5732018-11-20 16:23:42 +0000781 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000782
Andrew Walbran3d84a262018-12-13 14:41:19 +0000783 if (*previous_next_pointer == NULL) {
784 dlog("Target VCPU state is vcpu_state_blocked_mailbox "
785 "but is not in VM mailbox waiter list. This "
786 "should never happen.\n");
787 } else {
788 *previous_next_pointer = target_vcpu->mailbox_next;
Andrew Walbran318f5732018-11-20 16:23:42 +0000789 }
790 }
791
Andrew Walbran3d84a262018-12-13 14:41:19 +0000792 if (current->vm->id == HF_PRIMARY_VM_ID) {
793 /*
794 * If the call came from the primary VM, let it know that it
795 * should run or kick the target vCPU.
796 */
797 ret = 1;
798 } else if (current != target_vcpu) {
799 /*
800 * Switch to the primary so that it can switch to the target, or
801 * kick it if it is already running on a different physical CPU.
802 */
803 struct hf_vcpu_run_return ret = {
804 .code = HF_VCPU_RUN_WAKE_UP,
805 .wake_up.vm_id = target_vm_id,
806 .wake_up.vcpu = target_vcpu_idx,
807 };
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000808
Andrew Walbran3d84a262018-12-13 14:41:19 +0000809 *next = api_switch_to_primary(current, ret, vcpu_state_ready);
810 }
811
812out:
813 /* Either way, make it pending. */
814 target_vcpu->interrupts.interrupt_pending[intid_index] |= intid_mask;
815
Andrew Walbran318f5732018-11-20 16:23:42 +0000816 sl_unlock(&target_vcpu->lock);
Andrew Walbran69520dc2018-12-06 11:39:38 +0000817 if (need_vm_lock) {
818 sl_unlock(&target_vm->lock);
819 }
Andrew Walbran318f5732018-11-20 16:23:42 +0000820
Andrew Walbran3d84a262018-12-13 14:41:19 +0000821 return ret;
Andrew Walbran318f5732018-11-20 16:23:42 +0000822}