blob: 37428f3d87eb61cf75f4774360f6ac3f84aceac5 [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. */
Andrew Walbran318f5732018-11-20 16:23:42 +000026#define HF_VCPU_RUN 0xff00
27#define HF_VM_GET_COUNT 0xff01
28#define HF_VCPU_GET_COUNT 0xff02
29#define HF_VM_CONFIGURE 0xff03
30#define HF_MAILBOX_SEND 0xff04
31#define HF_MAILBOX_RECEIVE 0xff05
32#define HF_MAILBOX_CLEAR 0xff06
33#define HF_ENABLE_INTERRUPT 0xff07
34#define HF_GET_AND_ACKNOWLEDGE_INTERRUPT 0xff08
35#define HF_INJECT_INTERRUPT 0xff09
Andrew Scullf35a5c92018-08-07 18:09:46 +010036
Andrew Walbranc3910f72018-11-27 14:24:36 +000037/** The amount of data that can be sent to a mailbox. */
Andrew Scullaa039b32018-10-04 15:02:26 +010038#define HF_MAILBOX_SIZE 4096
39
Andrew Scullf35a5c92018-08-07 18:09:46 +010040/* clang-format on */
41
Andrew Scull5ac05f02018-08-10 17:23:22 +010042/**
43 * This function must be implemented to trigger the architecture specific
44 * mechanism to call to the hypervisor.
Andrew Scullf35a5c92018-08-07 18:09:46 +010045 */
Andrew Scullc0e569a2018-10-02 18:05:21 +010046int64_t hf_call(size_t arg0, size_t arg1, size_t arg2, size_t arg3);
Andrew Scullf35a5c92018-08-07 18:09:46 +010047
Andrew Scull5ac05f02018-08-10 17:23:22 +010048/**
49 * Runs the given vcpu of the given vm.
Andrew Walbran54afb502018-11-26 16:01:11 +000050 *
51 * Returns an hf_vcpu_run_return struct telling the scheduler what to do next.
Andrew Scull5ac05f02018-08-10 17:23:22 +010052 */
Andrew Scull6d2db332018-10-10 15:28:17 +010053static inline struct hf_vcpu_run_return hf_vcpu_run(uint32_t vm_id,
54 uint32_t vcpu_idx)
Andrew Scull5ac05f02018-08-10 17:23:22 +010055{
Andrew Scull6d2db332018-10-10 15:28:17 +010056 return hf_vcpu_run_return_decode(
57 hf_call(HF_VCPU_RUN, vm_id, vcpu_idx, 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/**
77 * Configures the pages to send/receive data through. The pages must not be
78 * shared.
Andrew Walbran54afb502018-11-26 16:01:11 +000079 *
80 * Returns 0 on success or -1 or failure.
Andrew Scull5ac05f02018-08-10 17:23:22 +010081 */
Andrew Scullc0e569a2018-10-02 18:05:21 +010082static inline int64_t hf_vm_configure(hf_ipaddr_t send, hf_ipaddr_t recv)
Andrew Scull5ac05f02018-08-10 17:23:22 +010083{
84 return hf_call(HF_VM_CONFIGURE, send, recv, 0);
85}
86
87/**
Andrew Scullaa039b32018-10-04 15:02:26 +010088 * Copies data from the sender's send buffer to the recipient's receive buffer.
Andrew Walbran54afb502018-11-26 16:01:11 +000089 *
90 * Returns -1 on failure, and on success either:
91 * - 0, if the caller is a secondary VM
92 * - the ID of the vCPU to run to receive the message, if the caller is the
93 * primary VM.
Andrew Walbrana98c3232018-12-06 16:30:57 +000094 * - HF_INVALID_VCPU if the caller is the primary VM and no vCPUs on the target
95 * VM are currently waiting to receive a message.
Andrew Scull5ac05f02018-08-10 17:23:22 +010096 */
Andrew Scullaa039b32018-10-04 15:02:26 +010097static inline int64_t hf_mailbox_send(uint32_t vm_id, size_t size)
Andrew Scull5ac05f02018-08-10 17:23:22 +010098{
Andrew Scullaa039b32018-10-04 15:02:26 +010099 return hf_call(HF_MAILBOX_SEND, vm_id, size, 0);
Andrew Scull5ac05f02018-08-10 17:23:22 +0100100}
101
102/**
Andrew Scullaa039b32018-10-04 15:02:26 +0100103 * Called by secondary VMs to receive a message. The call can optionally block
104 * until a message is received.
Andrew Scull5ac05f02018-08-10 17:23:22 +0100105 *
Andrew Scull6d2db332018-10-10 15:28:17 +0100106 * If no message was received, the VM ID will be HF_INVALID_VM_ID.
107 *
Andrew Scullaa039b32018-10-04 15:02:26 +0100108 * The mailbox must be cleared before a new message can be received.
Andrew Scull5ac05f02018-08-10 17:23:22 +0100109 */
Andrew Scull6d2db332018-10-10 15:28:17 +0100110static inline struct hf_mailbox_receive_return hf_mailbox_receive(bool block)
Andrew Scull5ac05f02018-08-10 17:23:22 +0100111{
Andrew Scull6d2db332018-10-10 15:28:17 +0100112 return hf_mailbox_receive_return_decode(
113 hf_call(HF_MAILBOX_RECEIVE, block, 0, 0));
Andrew Scull5ac05f02018-08-10 17:23:22 +0100114}
115
116/**
Andrew Walbran54afb502018-11-26 16:01:11 +0000117 * Clears the caller's mailbox so a new message can be received.
118 *
119 * Returns 0 on success, or -1 if the mailbox hasn't been read or is already
120 * empty.
Andrew Scull5ac05f02018-08-10 17:23:22 +0100121 */
Andrew Scullaa039b32018-10-04 15:02:26 +0100122static inline int64_t hf_mailbox_clear(void)
Andrew Scull5ac05f02018-08-10 17:23:22 +0100123{
Andrew Scullaa039b32018-10-04 15:02:26 +0100124 return hf_call(HF_MAILBOX_CLEAR, 0, 0, 0);
Andrew Scull5ac05f02018-08-10 17:23:22 +0100125}
Andrew Walbran318f5732018-11-20 16:23:42 +0000126
127/**
128 * Enables or disables a given interrupt ID.
129 *
130 * Returns 0 on success, or -1 if the intid is invalid.
131 */
Andrew Walbran4cf217a2018-12-14 15:24:50 +0000132static inline int64_t hf_enable_interrupt(uint32_t intid, bool enable)
Andrew Walbran318f5732018-11-20 16:23:42 +0000133{
134 return hf_call(HF_ENABLE_INTERRUPT, intid, enable, 0);
135}
136
137/**
138 * Gets the ID of the pending interrupt (if any) and acknowledge it.
139 *
140 * Returns HF_INVALID_INTID if there are no pending interrupts.
141 */
Wedson Almeida Filhobdcd8362018-12-15 03:26:21 +0000142static inline uint32_t hf_get_and_acknowledge_interrupt(void)
Andrew Walbran318f5732018-11-20 16:23:42 +0000143{
144 return hf_call(HF_GET_AND_ACKNOWLEDGE_INTERRUPT, 0, 0, 0);
145}
146
147/**
148 * Injects a virtual interrupt of the given ID into the given target vCPU.
149 * This doesn't cause the vCPU to actually be run immediately; it will be taken
150 * when the vCPU is next run, which is up to the scheduler.
151 *
152 * Returns 0 on success, or -1 if the target VM or vCPU doesn't exist or
153 * the interrupt ID is invalid.
154 */
155static inline int64_t hf_inject_interrupt(uint32_t target_vm_id,
156 uint32_t target_vcpu_idx,
157 uint32_t intid)
158{
159 return hf_call(HF_INJECT_INTERRUPT, target_vm_id, target_vcpu_idx,
160 intid);
161}