| Jose Marinho | fc0b2b6 | 2019-06-06 11:18:45 +0100 | [diff] [blame] | 1 | /* |
| J-Alves | 13318e3 | 2021-02-22 17:21:00 +0000 | [diff] [blame] | 2 | * Copyright 2021 The Hafnium Authors. |
| Jose Marinho | fc0b2b6 | 2019-06-06 11:18:45 +0100 | [diff] [blame] | 3 | * |
| Andrew Walbran | e959ec1 | 2020-06-17 15:01:09 +0100 | [diff] [blame] | 4 | * Use of this source code is governed by a BSD-style |
| 5 | * license that can be found in the LICENSE file or at |
| 6 | * https://opensource.org/licenses/BSD-3-Clause. |
| Jose Marinho | fc0b2b6 | 2019-06-06 11:18:45 +0100 | [diff] [blame] | 7 | */ |
| 8 | |
| 9 | #pragma once |
| 10 | |
| Andrew Walbran | 475c145 | 2020-02-07 13:22:22 +0000 | [diff] [blame] | 11 | #include <stdint.h> |
| Jose Marinho | 75509b4 | 2019-04-09 09:34:59 +0100 | [diff] [blame] | 12 | |
| Andrew Walbran | 352aa3d | 2020-05-01 17:51:33 +0100 | [diff] [blame] | 13 | #include "hf/check.h" |
| J-Alves | cf6253e | 2024-01-03 13:48:48 +0000 | [diff] [blame] | 14 | #include "hf/vm.h" |
| Andrew Walbran | 352aa3d | 2020-05-01 17:51:33 +0100 | [diff] [blame] | 15 | |
| Andrew Walbran | b5ab43c | 2020-04-30 11:32:54 +0100 | [diff] [blame] | 16 | #include "vmapi/hf/ffa.h" |
| Jose Marinho | 75509b4 | 2019-04-09 09:34:59 +0100 | [diff] [blame] | 17 | |
| Karl Meakin | dc759f5 | 2024-05-07 16:08:02 +0100 | [diff] [blame] | 18 | static inline struct ffa_value ffa_error(enum ffa_error error_code) |
| Andrew Walbran | d4d2fa1 | 2019-10-01 16:47:25 +0100 | [diff] [blame] | 19 | { |
| J-Alves | 8fc1b50 | 2024-06-17 09:21:11 +0100 | [diff] [blame] | 20 | return (struct ffa_value){.func = FFA_ERROR_32, |
| 21 | .arg2 = (uint32_t)error_code}; |
| Andrew Walbran | d4d2fa1 | 2019-10-01 16:47:25 +0100 | [diff] [blame] | 22 | } |
| J-Alves | 27b7196 | 2022-12-12 15:29:58 +0000 | [diff] [blame] | 23 | |
| 24 | struct ffa_value ffa_msg_recv_return(const struct vm *receiver); |
| 25 | |
| 26 | bool is_ffa_direct_msg_request_ongoing(struct vcpu_locked locked); |