blob: d8df3e49796f256bc131f71432d6a1b229dd263f [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/**
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100256 * Configures the VM to send/receive data through the specified pages. The pages
257 * must not be shared.
258 */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100259int64_t api_vm_configure(ipaddr_t send, ipaddr_t recv,
260 const struct vcpu *current)
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100261{
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100262 struct vm *vm = current->vm;
Andrew Scull80871322018-08-06 12:04:09 +0100263 paddr_t pa_send_begin;
264 paddr_t pa_send_end;
265 paddr_t pa_recv_begin;
266 paddr_t pa_recv_end;
Andrew Scullc0e569a2018-10-02 18:05:21 +0100267 int64_t ret;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100268
269 /* Fail if addresses are not page-aligned. */
Andrew Scull265ada92018-07-30 15:19:01 +0100270 if ((ipa_addr(send) & (PAGE_SIZE - 1)) ||
271 (ipa_addr(recv) & (PAGE_SIZE - 1))) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100272 return -1;
273 }
274
275 sl_lock(&vm->lock);
276
277 /* We only allow these to be setup once. */
Andrew Scullaa039b32018-10-04 15:02:26 +0100278 if (vm->mailbox.send || vm->mailbox.recv) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100279 ret = -1;
280 goto exit;
281 }
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100282
283 /*
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100284 * TODO: Once memory sharing is implemented, we need to make sure that
285 * these pages aren't and won't be shared.
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100286 */
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100287
Andrew Scullc2eb6a32018-12-13 16:54:24 +0000288 /* Ensure the pages are accessible from the VM. */
289 if (!mm_vm_is_mapped(&vm->ptable, send, 0) ||
290 !mm_vm_is_mapped(&vm->ptable, recv, 0)) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100291 ret = -1;
292 goto exit;
293 }
294
Andrew Scullc2eb6a32018-12-13 16:54:24 +0000295 /* Convert to physical addresses. */
296 pa_send_begin = pa_from_ipa(send);
297 pa_send_end = pa_add(pa_send_begin, PAGE_SIZE);
298
299 pa_recv_begin = pa_from_ipa(recv);
300 pa_recv_end = pa_add(pa_recv_begin, PAGE_SIZE);
301
Andrew Scullc9ccb3f2018-08-13 15:27:12 +0100302 /* Fail if the same page is used for the send and receive pages. */
303 if (pa_addr(pa_send_begin) == pa_addr(pa_recv_begin)) {
304 ret = -1;
305 goto exit;
306 }
307
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100308 /* Map the send page as read-only in the hypervisor address space. */
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000309 vm->mailbox.send = mm_identity_map(pa_send_begin, pa_send_end,
Wedson Almeida Filho9ed8da52018-12-17 16:09:11 +0000310 MM_MODE_R, &api_page_pool);
Andrew Scullaa039b32018-10-04 15:02:26 +0100311 if (!vm->mailbox.send) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100312 ret = -1;
313 goto exit;
314 }
315
316 /*
317 * Map the receive page as writable in the hypervisor address space. On
318 * failure, unmap the send page before returning.
319 */
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000320 vm->mailbox.recv = mm_identity_map(pa_recv_begin, pa_recv_end,
Wedson Almeida Filho9ed8da52018-12-17 16:09:11 +0000321 MM_MODE_W, &api_page_pool);
Andrew Scullaa039b32018-10-04 15:02:26 +0100322 if (!vm->mailbox.recv) {
323 vm->mailbox.send = NULL;
Wedson Almeida Filho9ed8da52018-12-17 16:09:11 +0000324 mm_unmap(pa_send_begin, pa_send_end, 0, &api_page_pool);
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100325 ret = -1;
326 goto exit;
327 }
328
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100329 /* TODO: Notify any waiters. */
330
331 ret = 0;
332exit:
333 sl_unlock(&vm->lock);
334
335 return ret;
336}
337
338/**
Andrew Scullaa039b32018-10-04 15:02:26 +0100339 * Copies data from the sender's send buffer to the recipient's receive buffer
340 * and notifies the recipient.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100341 */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100342int64_t api_mailbox_send(uint32_t vm_id, size_t size, struct vcpu *current,
343 struct vcpu **next)
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100344{
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100345 struct vm *from = current->vm;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100346 struct vm *to;
347 const void *from_buf;
Andrew Scullaa039b32018-10-04 15:02:26 +0100348 uint16_t vcpu;
Andrew Scullc0e569a2018-10-02 18:05:21 +0100349 int64_t ret;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100350
Andrew Scullaa039b32018-10-04 15:02:26 +0100351 /* Limit the size of transfer. */
352 if (size > HF_MAILBOX_SIZE) {
Andrew Scull19503262018-09-20 14:48:39 +0100353 return -1;
354 }
355
356 /* Disallow reflexive requests as this suggests an error in the VM. */
357 if (vm_id == from->id) {
358 return -1;
359 }
360
361 /* Ensure the target VM exists. */
362 to = vm_get(vm_id);
363 if (to == NULL) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100364 return -1;
365 }
366
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100367 /*
368 * Check that the sender has configured its send buffer. It is safe to
369 * use from_buf after releasing the lock because the buffer cannot be
370 * modified once it's configured.
371 */
372 sl_lock(&from->lock);
Andrew Scullaa039b32018-10-04 15:02:26 +0100373 from_buf = from->mailbox.send;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100374 sl_unlock(&from->lock);
Andrew Scullaa039b32018-10-04 15:02:26 +0100375 if (from_buf == NULL) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100376 return -1;
377 }
378
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100379 sl_lock(&to->lock);
380
Andrew Scullaa039b32018-10-04 15:02:26 +0100381 if (to->mailbox.state != mailbox_state_empty ||
382 to->mailbox.recv == NULL) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100383 /* Fail if the target isn't currently ready to receive data. */
384 ret = -1;
Andrew Scullaa039b32018-10-04 15:02:26 +0100385 goto out;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100386 }
387
Andrew Scullaa039b32018-10-04 15:02:26 +0100388 /* Copy data. */
389 memcpy(to->mailbox.recv, from_buf, size);
390 to->mailbox.recv_bytes = size;
391 to->mailbox.recv_from_id = from->id;
392 to->mailbox.state = mailbox_state_read;
393
394 /* Messages for the primary VM are delivered directly. */
395 if (to->id == HF_PRIMARY_VM_ID) {
Wedson Almeida Filho80eb4a32018-11-30 17:11:15 +0000396 struct hf_vcpu_run_return primary_ret = {
397 .code = HF_VCPU_RUN_MESSAGE,
398 .message.size = size,
399 };
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000400
Wedson Almeida Filhoba641ef2018-12-03 04:19:44 +0000401 *next = api_switch_to_primary(current, primary_ret,
402 vcpu_state_ready);
Andrew Scullaa039b32018-10-04 15:02:26 +0100403 ret = 0;
404 goto out;
405 }
406
407 /*
408 * Try to find a vcpu to handle the message and tell the scheduler to
409 * run it.
410 */
411 if (to->mailbox.recv_waiter == NULL) {
412 /*
413 * The scheduler must choose a vcpu to interrupt so it can
414 * handle the message.
415 */
416 to->mailbox.state = mailbox_state_received;
417 vcpu = HF_INVALID_VCPU;
418 } else {
419 struct vcpu *to_vcpu = to->mailbox.recv_waiter;
420
421 /*
Wedson Almeida Filho80eb4a32018-11-30 17:11:15 +0000422 * Take target vcpu out of waiter list and mark it as ready to
423 * run again.
Andrew Scullaa039b32018-10-04 15:02:26 +0100424 */
425 sl_lock(&to_vcpu->lock);
426 to->mailbox.recv_waiter = to_vcpu->mailbox_next;
427 to_vcpu->state = vcpu_state_ready;
428
429 /* Return from HF_MAILBOX_RECEIVE. */
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000430 to_vcpu->retval.force = true;
431 to_vcpu->retval.value = hf_mailbox_receive_return_encode(
432 (struct hf_mailbox_receive_return){
433 .vm_id = to->mailbox.recv_from_id,
434 .size = size,
435 });
Andrew Scullaa039b32018-10-04 15:02:26 +0100436
437 sl_unlock(&to_vcpu->lock);
438
439 vcpu = to_vcpu - to->vcpus;
440 }
441
442 /* Return to the primary VM directly or with a switch. */
Wedson Almeida Filho80eb4a32018-11-30 17:11:15 +0000443 if (from->id == HF_PRIMARY_VM_ID) {
444 ret = vcpu;
445 } else {
446 struct hf_vcpu_run_return primary_ret = {
447 .code = HF_VCPU_RUN_WAKE_UP,
448 .wake_up.vm_id = to->id,
449 .wake_up.vcpu = vcpu,
450 };
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000451
Wedson Almeida Filhoba641ef2018-12-03 04:19:44 +0000452 *next = api_switch_to_primary(current, primary_ret,
453 vcpu_state_ready);
Wedson Almeida Filho80eb4a32018-11-30 17:11:15 +0000454 ret = 0;
455 }
Andrew Scullaa039b32018-10-04 15:02:26 +0100456
457out:
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100458 sl_unlock(&to->lock);
459
Wedson Almeida Filho80eb4a32018-11-30 17:11:15 +0000460 return ret;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100461}
462
463/**
Andrew Scullaa039b32018-10-04 15:02:26 +0100464 * Receives a message from the mailbox. If one isn't available, this function
465 * can optionally block the caller until one becomes available.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100466 *
Andrew Scullaa039b32018-10-04 15:02:26 +0100467 * No new messages can be received until the mailbox has been cleared.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100468 */
Andrew Scull6d2db332018-10-10 15:28:17 +0100469struct hf_mailbox_receive_return api_mailbox_receive(bool block,
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100470 struct vcpu *current,
Andrew Scull6d2db332018-10-10 15:28:17 +0100471 struct vcpu **next)
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100472{
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100473 struct vm *vm = current->vm;
Andrew Scull6d2db332018-10-10 15:28:17 +0100474 struct hf_mailbox_receive_return ret = {
475 .vm_id = HF_INVALID_VM_ID,
476 };
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100477
Andrew Scullaa039b32018-10-04 15:02:26 +0100478 /*
479 * The primary VM will receive messages as a status code from running
480 * vcpus and must not call this function.
481 */
Andrew Scull19503262018-09-20 14:48:39 +0100482 if (vm->id == HF_PRIMARY_VM_ID) {
Andrew Scull6d2db332018-10-10 15:28:17 +0100483 return ret;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100484 }
485
486 sl_lock(&vm->lock);
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100487
Andrew Scullaa039b32018-10-04 15:02:26 +0100488 /* Return pending messages without blocking. */
489 if (vm->mailbox.state == mailbox_state_received) {
490 vm->mailbox.state = mailbox_state_read;
Andrew Scull6d2db332018-10-10 15:28:17 +0100491 ret.vm_id = vm->mailbox.recv_from_id;
492 ret.size = vm->mailbox.recv_bytes;
Andrew Scullaa039b32018-10-04 15:02:26 +0100493 goto out;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100494 }
Andrew Scullaa039b32018-10-04 15:02:26 +0100495
496 /* No pending message so fail if not allowed to block. */
497 if (!block) {
Andrew Scullaa039b32018-10-04 15:02:26 +0100498 goto out;
499 }
500
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100501 sl_lock(&current->lock);
Andrew Scullaa039b32018-10-04 15:02:26 +0100502
503 /* Push vcpu into waiter list. */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100504 current->mailbox_next = vm->mailbox.recv_waiter;
505 vm->mailbox.recv_waiter = current;
506 sl_unlock(&current->lock);
Andrew Scullaa039b32018-10-04 15:02:26 +0100507
508 /* Switch back to primary vm to block. */
Andrew Walbranb4816552018-12-05 17:35:42 +0000509 {
510 struct hf_vcpu_run_return run_return = {
511 .code = HF_VCPU_RUN_WAIT_FOR_INTERRUPT,
512 };
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000513
Andrew Walbranb4816552018-12-05 17:35:42 +0000514 *next = api_switch_to_primary(current, run_return,
515 vcpu_state_blocked_mailbox);
516 }
Andrew Scullaa039b32018-10-04 15:02:26 +0100517out:
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100518 sl_unlock(&vm->lock);
519
520 return ret;
521}
522
523/**
Andrew Scullaa039b32018-10-04 15:02:26 +0100524 * Clears the caller's mailbox so that a new message can be received. The caller
525 * must have copied out all data they wish to preserve as new messages will
526 * overwrite the old and will arrive asynchronously.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100527 */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100528int64_t api_mailbox_clear(const struct vcpu *current)
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100529{
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100530 struct vm *vm = current->vm;
Andrew Scullc0e569a2018-10-02 18:05:21 +0100531 int64_t ret;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100532
533 sl_lock(&vm->lock);
Andrew Scullaa039b32018-10-04 15:02:26 +0100534 if (vm->mailbox.state == mailbox_state_read) {
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100535 ret = 0;
Andrew Scullaa039b32018-10-04 15:02:26 +0100536 vm->mailbox.state = mailbox_state_empty;
537 } else {
538 ret = -1;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100539 }
540 sl_unlock(&vm->lock);
541
542 if (ret == 0) {
543 /* TODO: Notify waiters, if any. */
544 }
545
546 return ret;
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100547}
Andrew Walbran318f5732018-11-20 16:23:42 +0000548
549/**
550 * Enables or disables a given interrupt ID for the calling vCPU.
551 *
552 * Returns 0 on success, or -1 if the intid is invalid.
553 */
554int64_t api_enable_interrupt(uint32_t intid, bool enable, struct vcpu *current)
555{
556 uint32_t intid_index = intid / INTERRUPT_REGISTER_BITS;
557 uint32_t intid_mask = 1u << (intid % INTERRUPT_REGISTER_BITS);
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000558
Andrew Walbran318f5732018-11-20 16:23:42 +0000559 if (intid >= HF_NUM_INTIDS) {
560 return -1;
561 }
562
563 sl_lock(&current->lock);
564 if (enable) {
Andrew Walbran3d84a262018-12-13 14:41:19 +0000565 /*
566 * If it is pending and was not enabled before, increment the
567 * count.
568 */
569 if (current->interrupts.interrupt_pending[intid_index] &
570 ~current->interrupts.interrupt_enabled[intid_index] &
571 intid_mask) {
572 current->interrupts.enabled_and_pending_count++;
573 }
Andrew Walbran318f5732018-11-20 16:23:42 +0000574 current->interrupts.interrupt_enabled[intid_index] |=
575 intid_mask;
Andrew Walbran318f5732018-11-20 16:23:42 +0000576 } else {
Andrew Walbran3d84a262018-12-13 14:41:19 +0000577 /*
578 * If it is pending and was enabled before, decrement the count.
579 */
580 if (current->interrupts.interrupt_pending[intid_index] &
581 current->interrupts.interrupt_enabled[intid_index] &
582 intid_mask) {
583 current->interrupts.enabled_and_pending_count--;
584 }
Andrew Walbran318f5732018-11-20 16:23:42 +0000585 current->interrupts.interrupt_enabled[intid_index] &=
586 ~intid_mask;
587 }
588
589 sl_unlock(&current->lock);
590 return 0;
591}
592
593/**
594 * Returns the ID of the next pending interrupt for the calling vCPU, and
595 * acknowledges it (i.e. marks it as no longer pending). Returns
596 * HF_INVALID_INTID if there are no pending interrupts.
597 */
598uint32_t api_get_and_acknowledge_interrupt(struct vcpu *current)
599{
600 uint8_t i;
601 uint32_t first_interrupt = HF_INVALID_INTID;
Andrew Walbran318f5732018-11-20 16:23:42 +0000602
603 /*
604 * Find the first enabled and pending interrupt ID, return it, and
605 * deactivate it.
606 */
607 sl_lock(&current->lock);
608 for (i = 0; i < HF_NUM_INTIDS / INTERRUPT_REGISTER_BITS; ++i) {
609 uint32_t enabled_and_pending =
610 current->interrupts.interrupt_enabled[i] &
611 current->interrupts.interrupt_pending[i];
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000612
Andrew Walbran318f5732018-11-20 16:23:42 +0000613 if (enabled_and_pending != 0) {
Andrew Walbran3d84a262018-12-13 14:41:19 +0000614 uint8_t bit_index = ctz(enabled_and_pending);
615 /*
616 * Mark it as no longer pending and decrement the count.
617 */
618 current->interrupts.interrupt_pending[i] &=
619 ~(1u << bit_index);
620 current->interrupts.enabled_and_pending_count--;
621 first_interrupt =
622 i * INTERRUPT_REGISTER_BITS + bit_index;
Andrew Walbran318f5732018-11-20 16:23:42 +0000623 break;
624 }
625 }
Andrew Walbran318f5732018-11-20 16:23:42 +0000626
627 sl_unlock(&current->lock);
628 return first_interrupt;
629}
630
631/**
Andrew Walbran4cf217a2018-12-14 15:24:50 +0000632 * Returns whether the current vCPU is allowed to inject an interrupt into the
Andrew Walbran318f5732018-11-20 16:23:42 +0000633 * given VM and vCPU.
634 */
635static inline bool is_injection_allowed(uint32_t target_vm_id,
636 struct vcpu *current)
637{
638 uint32_t current_vm_id = current->vm->id;
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000639
Andrew Walbran318f5732018-11-20 16:23:42 +0000640 /*
641 * The primary VM is allowed to inject interrupts into any VM. Secondary
642 * VMs are only allowed to inject interrupts into their own vCPUs.
643 */
644 return current_vm_id == HF_PRIMARY_VM_ID ||
645 current_vm_id == target_vm_id;
646}
647
648/**
649 * Injects a virtual interrupt of the given ID into the given target vCPU.
650 * This doesn't cause the vCPU to actually be run immediately; it will be taken
651 * when the vCPU is next run, which is up to the scheduler.
652 *
Andrew Walbran3d84a262018-12-13 14:41:19 +0000653 * Returns:
654 * - -1 on failure because the target VM or vCPU doesn't exist, the interrupt
655 * ID is invalid, or the current VM is not allowed to inject interrupts to
656 * the target VM.
657 * - 0 on success if no further action is needed.
658 * - 1 if it was called by the primary VM and the primary VM now needs to wake
659 * up or kick the target vCPU.
Andrew Walbran318f5732018-11-20 16:23:42 +0000660 */
661int64_t api_inject_interrupt(uint32_t target_vm_id, uint32_t target_vcpu_idx,
662 uint32_t intid, struct vcpu *current,
663 struct vcpu **next)
664{
665 uint32_t intid_index = intid / INTERRUPT_REGISTER_BITS;
666 uint32_t intid_mask = 1u << (intid % INTERRUPT_REGISTER_BITS);
667 struct vcpu *target_vcpu;
668 struct vm *target_vm = vm_get(target_vm_id);
Andrew Walbran69520dc2018-12-06 11:39:38 +0000669 bool need_vm_lock;
Andrew Walbran3d84a262018-12-13 14:41:19 +0000670 int64_t ret = 0;
Andrew Walbran318f5732018-11-20 16:23:42 +0000671
672 if (intid >= HF_NUM_INTIDS) {
673 return -1;
674 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000675
Andrew Walbran318f5732018-11-20 16:23:42 +0000676 if (target_vm == NULL) {
677 return -1;
678 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000679
Andrew Walbran318f5732018-11-20 16:23:42 +0000680 if (target_vcpu_idx >= target_vm->vcpu_count) {
681 /* The requested vcpu must exist. */
682 return -1;
683 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000684
Andrew Walbran318f5732018-11-20 16:23:42 +0000685 if (!is_injection_allowed(target_vm_id, current)) {
686 return -1;
687 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000688
Andrew Walbran318f5732018-11-20 16:23:42 +0000689 target_vcpu = &target_vm->vcpus[target_vcpu_idx];
690
691 dlog("Injecting IRQ %d for VM %d VCPU %d from VM %d VCPU %d\n", intid,
692 target_vm_id, target_vcpu_idx, current->vm->id, current->cpu->id);
693
694 sl_lock(&target_vcpu->lock);
Andrew Walbran69520dc2018-12-06 11:39:38 +0000695 /*
696 * If we need the target_vm lock we need to release the target_vcpu lock
697 * first to maintain the correct order of locks. In-between releasing
698 * and acquiring it again the state of the vCPU could change in such a
699 * way that we don't actually need to touch the target_vm after all, but
700 * that's alright: we'll take the target_vm lock anyway, but it's safe,
701 * just perhaps a little slow in this unusual case. The reverse is not
702 * possible: if need_vm_lock is false, we don't release the target_vcpu
703 * lock until we are done, so nothing should change in such as way that
704 * we need the VM lock after all.
705 */
Andrew Walbran3d84a262018-12-13 14:41:19 +0000706 need_vm_lock =
707 (target_vcpu->interrupts.interrupt_enabled[intid_index] &
708 ~target_vcpu->interrupts.interrupt_pending[intid_index] &
709 intid_mask) &&
710 target_vcpu->state == vcpu_state_blocked_mailbox;
Andrew Walbran69520dc2018-12-06 11:39:38 +0000711 if (need_vm_lock) {
712 sl_unlock(&target_vcpu->lock);
713 sl_lock(&target_vm->lock);
714 sl_lock(&target_vcpu->lock);
715 }
Andrew Walbran318f5732018-11-20 16:23:42 +0000716
Andrew Walbran3d84a262018-12-13 14:41:19 +0000717 /*
718 * We only need to change state and (maybe) trigger a virtual IRQ if it
719 * is enabled and was not previously pending. Otherwise we can skip
720 * everything except setting the pending bit.
721 *
722 * If you change this logic make sure to update the need_vm_lock logic
723 * above to match.
724 */
725 if (!(target_vcpu->interrupts.interrupt_enabled[intid_index] &
726 ~target_vcpu->interrupts.interrupt_pending[intid_index] &
727 intid_mask)) {
728 goto out;
729 }
730
731 /* Increment the count. */
732 target_vcpu->interrupts.enabled_and_pending_count++;
Andrew Walbran318f5732018-11-20 16:23:42 +0000733
Andrew Walbran69520dc2018-12-06 11:39:38 +0000734 /*
Andrew Walbran3d84a262018-12-13 14:41:19 +0000735 * Only need to update state if there was not already an
736 * interrupt enabled and pending.
Andrew Walbran69520dc2018-12-06 11:39:38 +0000737 */
Andrew Walbran3d84a262018-12-13 14:41:19 +0000738 if (target_vcpu->interrupts.enabled_and_pending_count != 1) {
739 goto out;
740 }
Andrew Walbran318f5732018-11-20 16:23:42 +0000741
Andrew Walbran3d84a262018-12-13 14:41:19 +0000742 if (target_vcpu->state == vcpu_state_blocked_interrupt) {
743 target_vcpu->state = vcpu_state_ready;
744 } else if (target_vcpu->state == vcpu_state_blocked_mailbox) {
745 /*
746 * If you change this logic make sure to update the need_vm_lock
747 * logic above to match.
748 */
749 target_vcpu->state = vcpu_state_ready;
Andrew Walbran69520dc2018-12-06 11:39:38 +0000750
Andrew Walbran3d84a262018-12-13 14:41:19 +0000751 /* Take target vCPU out of mailbox recv_waiter list. */
752 /*
753 * TODO: Consider using a doubly-linked list for
754 * the receive waiter list to avoid the linear
755 * search here.
756 */
757 struct vcpu **previous_next_pointer =
758 &target_vm->mailbox.recv_waiter;
759 while (*previous_next_pointer != NULL &&
760 *previous_next_pointer != target_vcpu) {
Andrew Walbran69520dc2018-12-06 11:39:38 +0000761 /*
Andrew Walbran3d84a262018-12-13 14:41:19 +0000762 * TODO(qwandor): Do we need to lock the vCPUs somehow
763 * while we walk the linked list, or is the VM lock
764 * enough?
Andrew Walbran69520dc2018-12-06 11:39:38 +0000765 */
Andrew Walbran3d84a262018-12-13 14:41:19 +0000766 previous_next_pointer =
767 &(*previous_next_pointer)->mailbox_next;
Andrew Walbran318f5732018-11-20 16:23:42 +0000768 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000769
Andrew Walbran3d84a262018-12-13 14:41:19 +0000770 if (*previous_next_pointer == NULL) {
771 dlog("Target VCPU state is vcpu_state_blocked_mailbox "
772 "but is not in VM mailbox waiter list. This "
773 "should never happen.\n");
774 } else {
775 *previous_next_pointer = target_vcpu->mailbox_next;
Andrew Walbran318f5732018-11-20 16:23:42 +0000776 }
777 }
778
Andrew Walbran3d84a262018-12-13 14:41:19 +0000779 if (current->vm->id == HF_PRIMARY_VM_ID) {
780 /*
781 * If the call came from the primary VM, let it know that it
782 * should run or kick the target vCPU.
783 */
784 ret = 1;
785 } else if (current != target_vcpu) {
786 /*
787 * Switch to the primary so that it can switch to the target, or
788 * kick it if it is already running on a different physical CPU.
789 */
790 struct hf_vcpu_run_return ret = {
791 .code = HF_VCPU_RUN_WAKE_UP,
792 .wake_up.vm_id = target_vm_id,
793 .wake_up.vcpu = target_vcpu_idx,
794 };
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000795
Andrew Walbran3d84a262018-12-13 14:41:19 +0000796 *next = api_switch_to_primary(current, ret, vcpu_state_ready);
797 }
798
799out:
800 /* Either way, make it pending. */
801 target_vcpu->interrupts.interrupt_pending[intid_index] |= intid_mask;
802
Andrew Walbran318f5732018-11-20 16:23:42 +0000803 sl_unlock(&target_vcpu->lock);
Andrew Walbran69520dc2018-12-06 11:39:38 +0000804 if (need_vm_lock) {
805 sl_unlock(&target_vm->lock);
806 }
Andrew Walbran318f5732018-11-20 16:23:42 +0000807
Andrew Walbran3d84a262018-12-13 14:41:19 +0000808 return ret;
Andrew Walbran318f5732018-11-20 16:23:42 +0000809}