blob: 8014f8c9f3bd1fbfb2d7852b94536d5cefea7eb9 [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 Scullfbc938a2018-08-20 14:09:28 +010017#pragma once
Andrew Scullf35a5c92018-08-07 18:09:46 +010018
Andrew Scull6d2db332018-10-10 15:28:17 +010019#include "hf/abi.h"
20#include "hf/types.h"
Andrew Scullf35a5c92018-08-07 18:09:46 +010021
22/* Keep macro alignment */
23/* clang-format off */
24
Andrew Scullf35a5c92018-08-07 18:09:46 +010025/* TODO: Define constants below according to spec. */
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +000026#define HF_VM_GET_ID 0xff00
27#define HF_VM_GET_COUNT 0xff01
28#define HF_VCPU_GET_COUNT 0xff02
29#define HF_VCPU_RUN 0xff03
30#define HF_VCPU_YIELD 0xff04
31#define HF_VM_CONFIGURE 0xff05
32#define HF_MAILBOX_SEND 0xff06
33#define HF_MAILBOX_RECEIVE 0xff07
34#define HF_MAILBOX_CLEAR 0xff08
35#define HF_MAILBOX_WRITABLE_GET 0xff09
36#define HF_MAILBOX_WAITER_GET 0xff0a
37#define HF_INTERRUPT_ENABLE 0xff0b
38#define HF_INTERRUPT_GET 0xff0c
39#define HF_INTERRUPT_INJECT 0xff0d
Andrew Scullf35a5c92018-08-07 18:09:46 +010040
Andrew Walbranc3910f72018-11-27 14:24:36 +000041/** The amount of data that can be sent to a mailbox. */
Andrew Scullaa039b32018-10-04 15:02:26 +010042#define HF_MAILBOX_SIZE 4096
43
Andrew Scullf35a5c92018-08-07 18:09:46 +010044/* clang-format on */
45
Andrew Scull5ac05f02018-08-10 17:23:22 +010046/**
47 * This function must be implemented to trigger the architecture specific
48 * mechanism to call to the hypervisor.
Andrew Scullf35a5c92018-08-07 18:09:46 +010049 */
Andrew Scullc0e569a2018-10-02 18:05:21 +010050int64_t hf_call(size_t arg0, size_t arg1, size_t arg2, size_t arg3);
Andrew Scullf35a5c92018-08-07 18:09:46 +010051
Andrew Scull5ac05f02018-08-10 17:23:22 +010052/**
Andrew Scull55c4d8b2018-12-18 18:50:18 +000053 * Returns the VM's own ID.
Andrew Scull5ac05f02018-08-10 17:23:22 +010054 */
Wedson Almeida Filho02af6972018-12-21 22:18:41 +000055static inline uint32_t hf_vm_get_id(void)
Andrew Scull5ac05f02018-08-10 17:23:22 +010056{
Andrew Scull55c4d8b2018-12-18 18:50:18 +000057 return hf_call(HF_VM_GET_ID, 0, 0, 0);
Andrew Scull5ac05f02018-08-10 17:23:22 +010058}
59
60/**
Andrew Scullf35a5c92018-08-07 18:09:46 +010061 * Returns the number of secondary VMs.
62 */
Andrew Scullc0e569a2018-10-02 18:05:21 +010063static inline int64_t hf_vm_get_count(void)
Andrew Scullf35a5c92018-08-07 18:09:46 +010064{
65 return hf_call(HF_VM_GET_COUNT, 0, 0, 0);
66}
67
Andrew Scull5ac05f02018-08-10 17:23:22 +010068/**
Andrew Scullf35a5c92018-08-07 18:09:46 +010069 * Returns the number of VCPUs configured in the given secondary VM.
70 */
Andrew Scullc0e569a2018-10-02 18:05:21 +010071static inline int64_t hf_vcpu_get_count(uint32_t vm_id)
Andrew Scullf35a5c92018-08-07 18:09:46 +010072{
Andrew Scull19503262018-09-20 14:48:39 +010073 return hf_call(HF_VCPU_GET_COUNT, vm_id, 0, 0);
Andrew Scullf35a5c92018-08-07 18:09:46 +010074}
75
Andrew Scull5ac05f02018-08-10 17:23:22 +010076/**
Andrew Scull55c4d8b2018-12-18 18:50:18 +000077 * Runs the given vcpu of the given vm.
78 *
79 * Returns an hf_vcpu_run_return struct telling the scheduler what to do next.
80 */
81static inline struct hf_vcpu_run_return hf_vcpu_run(uint32_t vm_id,
82 uint32_t vcpu_idx)
83{
84 return hf_vcpu_run_return_decode(
85 hf_call(HF_VCPU_RUN, vm_id, vcpu_idx, 0));
86}
87
88/**
89 * Hints that the vcpu is willing to yield its current use of the physical CPU.
90 */
91static inline void hf_vcpu_yield(void)
92{
93 hf_call(HF_VCPU_YIELD, 0, 0, 0);
94}
95
96/**
Andrew Scull5ac05f02018-08-10 17:23:22 +010097 * Configures the pages to send/receive data through. The pages must not be
98 * shared.
Andrew Walbran54afb502018-11-26 16:01:11 +000099 *
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +0000100 * Returns:
101 * - -1 on failure.
102 * - 0 on success if no further action is needed.
103 * - 1 if it was called by the primary VM and the primary VM now needs to wake
104 * up or kick waiters.
Andrew Scull5ac05f02018-08-10 17:23:22 +0100105 */
Andrew Scullc0e569a2018-10-02 18:05:21 +0100106static inline int64_t hf_vm_configure(hf_ipaddr_t send, hf_ipaddr_t recv)
Andrew Scull5ac05f02018-08-10 17:23:22 +0100107{
108 return hf_call(HF_VM_CONFIGURE, send, recv, 0);
109}
110
111/**
Andrew Scullaa039b32018-10-04 15:02:26 +0100112 * Copies data from the sender's send buffer to the recipient's receive buffer.
Andrew Walbran54afb502018-11-26 16:01:11 +0000113 *
Wedson Almeida Filho17c997f2019-01-09 18:50:09 +0000114 * If the recipient's receive buffer is busy, it can optionally register the
115 * caller to be notified when the recipient's receive buffer becomes available.
116 *
Andrew Walbran54afb502018-11-26 16:01:11 +0000117 * Returns -1 on failure, and on success either:
Andrew Scull55c4d8b2018-12-18 18:50:18 +0000118 * - 0, if the caller is a secondary VM
119 * - the ID of the vCPU to run to receive the message, if the caller is the
120 * primary VM.
121 * - HF_INVALID_VCPU if the caller is the primary VM and no vCPUs on the target
122 * VM are currently waiting to receive a message.
Andrew Scull5ac05f02018-08-10 17:23:22 +0100123 */
Wedson Almeida Filho17c997f2019-01-09 18:50:09 +0000124static inline int64_t hf_mailbox_send(uint32_t vm_id, size_t size, bool notify)
Andrew Scull5ac05f02018-08-10 17:23:22 +0100125{
Wedson Almeida Filho17c997f2019-01-09 18:50:09 +0000126 return hf_call(HF_MAILBOX_SEND, vm_id, size, notify);
Andrew Scull5ac05f02018-08-10 17:23:22 +0100127}
128
129/**
Andrew Scullaa039b32018-10-04 15:02:26 +0100130 * Called by secondary VMs to receive a message. The call can optionally block
131 * until a message is received.
Andrew Scull5ac05f02018-08-10 17:23:22 +0100132 *
Andrew Scull6d2db332018-10-10 15:28:17 +0100133 * If no message was received, the VM ID will be HF_INVALID_VM_ID.
134 *
Andrew Scullaa039b32018-10-04 15:02:26 +0100135 * The mailbox must be cleared before a new message can be received.
Andrew Scull5ac05f02018-08-10 17:23:22 +0100136 */
Andrew Scull6d2db332018-10-10 15:28:17 +0100137static inline struct hf_mailbox_receive_return hf_mailbox_receive(bool block)
Andrew Scull5ac05f02018-08-10 17:23:22 +0100138{
Andrew Scull6d2db332018-10-10 15:28:17 +0100139 return hf_mailbox_receive_return_decode(
140 hf_call(HF_MAILBOX_RECEIVE, block, 0, 0));
Andrew Scull5ac05f02018-08-10 17:23:22 +0100141}
142
143/**
Andrew Walbran54afb502018-11-26 16:01:11 +0000144 * Clears the caller's mailbox so a new message can be received.
145 *
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +0000146 * Returns:
147 * - -1 on failure, if the mailbox hasn't been read or is already empty.
148 * - 0 on success if no further action is needed.
149 * - 1 if it was called by the primary VM and the primary VM now needs to wake
150 * up or kick waiters. Waiters should be retrieved by calling
151 * hf_mailbox_waiter_get.
Andrew Scull5ac05f02018-08-10 17:23:22 +0100152 */
Andrew Scullaa039b32018-10-04 15:02:26 +0100153static inline int64_t hf_mailbox_clear(void)
Andrew Scull5ac05f02018-08-10 17:23:22 +0100154{
Andrew Scullaa039b32018-10-04 15:02:26 +0100155 return hf_call(HF_MAILBOX_CLEAR, 0, 0, 0);
Andrew Scull5ac05f02018-08-10 17:23:22 +0100156}
Andrew Walbran318f5732018-11-20 16:23:42 +0000157
158/**
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +0000159 * Retrieves the next VM whose mailbox became writable. For a VM to be notified
160 * by this function, the caller must have called api_mailbox_send before with
161 * the notify argument set to true, and this call must have failed because the
162 * mailbox was not available.
163 *
164 * It should be called repeatedly to retreive a list of VMs.
165 *
166 * Returns -1 if no VM became writable, or the id of the VM whose mailbox
167 * became writable.
168 */
169static inline int64_t hf_mailbox_writable_get(void)
170{
171 return hf_call(HF_MAILBOX_WRITABLE_GET, 0, 0, 0);
172}
173
174/**
175 * Retrieves the next VM waiting to be notified that the mailbox of the
176 * specified VM became writable. Only primary VMs are allowed to call this.
177 *
178 * Returns -1 if there are no waiters, or the VM id of the next waiter
179 * otherwise.
180 */
181static inline int64_t hf_mailbox_waiter_get(uint32_t vm_id)
182{
183 return hf_call(HF_MAILBOX_WAITER_GET, vm_id, 0, 0);
184}
185
186/**
Andrew Walbran318f5732018-11-20 16:23:42 +0000187 * Enables or disables a given interrupt ID.
188 *
189 * Returns 0 on success, or -1 if the intid is invalid.
190 */
Wedson Almeida Filhoc559d132019-01-09 19:33:40 +0000191static inline int64_t hf_interrupt_enable(uint32_t intid, bool enable)
Andrew Walbran318f5732018-11-20 16:23:42 +0000192{
Wedson Almeida Filhoc559d132019-01-09 19:33:40 +0000193 return hf_call(HF_INTERRUPT_ENABLE, intid, enable, 0);
Andrew Walbran318f5732018-11-20 16:23:42 +0000194}
195
196/**
197 * Gets the ID of the pending interrupt (if any) and acknowledge it.
198 *
199 * Returns HF_INVALID_INTID if there are no pending interrupts.
200 */
Wedson Almeida Filhoc559d132019-01-09 19:33:40 +0000201static inline uint32_t hf_interrupt_get(void)
Andrew Walbran318f5732018-11-20 16:23:42 +0000202{
Wedson Almeida Filhoc559d132019-01-09 19:33:40 +0000203 return hf_call(HF_INTERRUPT_GET, 0, 0, 0);
Andrew Walbran318f5732018-11-20 16:23:42 +0000204}
205
206/**
207 * Injects a virtual interrupt of the given ID into the given target vCPU.
208 * This doesn't cause the vCPU to actually be run immediately; it will be taken
209 * when the vCPU is next run, which is up to the scheduler.
210 *
Andrew Walbran3d84a262018-12-13 14:41:19 +0000211 * Returns:
212 * - -1 on failure because the target VM or vCPU doesn't exist, the interrupt
213 * ID is invalid, or the current VM is not allowed to inject interrupts to
214 * the target VM.
215 * - 0 on success if no further action is needed.
216 * - 1 if it was called by the primary VM and the primary VM now needs to wake
217 * up or kick the target vCPU.
Andrew Walbran318f5732018-11-20 16:23:42 +0000218 */
Wedson Almeida Filhoc559d132019-01-09 19:33:40 +0000219static inline int64_t hf_interrupt_inject(uint32_t target_vm_id,
Andrew Walbran318f5732018-11-20 16:23:42 +0000220 uint32_t target_vcpu_idx,
221 uint32_t intid)
222{
Wedson Almeida Filhoc559d132019-01-09 19:33:40 +0000223 return hf_call(HF_INTERRUPT_INJECT, target_vm_id, target_vcpu_idx,
Andrew Walbran318f5732018-11-20 16:23:42 +0000224 intid);
225}