blob: 46bd8f909d9ea249e2dc178e972eff9c8a763403 [file] [log] [blame]
Andrew Scull18834872018-10-12 11:48:09 +01001/*
Andrew Walbran692b3252019-03-07 15:51:31 +00002 * Copyright 2018 The Hafnium Authors.
Andrew Scull18834872018-10-12 11:48:09 +01003 *
Andrew Walbrane959ec12020-06-17 15:01:09 +01004 * 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.
Andrew Scull18834872018-10-12 11:48:09 +01007 */
8
Andrew Scullfbc938a2018-08-20 14:09:28 +01009#pragma once
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010010
Andrew Scull18c78fc2018-08-20 12:57:41 +010011#include "hf/cpu.h"
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +000012#include "hf/mpool.h"
Andrew Scull18c78fc2018-08-20 12:57:41 +010013#include "hf/vm.h"
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010014
Andrew Scull6d2db332018-10-10 15:28:17 +010015#include "vmapi/hf/call.h"
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010016#include "vmapi/hf/ffa.h"
Andrew Scull6d2db332018-10-10 15:28:17 +010017
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +000018void api_init(struct mpool *ppool);
Andrew Walbran1f8d4872018-12-20 11:21:32 +000019void api_regs_state_saved(struct vcpu *vcpu);
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +000020int64_t api_mailbox_writable_get(const struct vcpu *current);
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010021int64_t api_mailbox_waiter_get(ffa_vm_id_t vm_id, const struct vcpu *current);
Andrew Walbranc1ad4ce2019-05-09 11:41:39 +010022int64_t api_debug_log(char c, struct vcpu *current);
Andrew Scull6bca35e2018-10-02 12:05:32 +010023
Andrew Scull33fecd32019-01-08 14:48:27 +000024struct vcpu *api_preempt(struct vcpu *current);
Andrew Scull33fecd32019-01-08 14:48:27 +000025struct vcpu *api_wait_for_interrupt(struct vcpu *current);
Andrew Walbran33645652019-04-15 12:29:31 +010026struct vcpu *api_vcpu_off(struct vcpu *current);
Andrew Scull9726c252019-01-23 13:44:19 +000027struct vcpu *api_abort(struct vcpu *current);
Andrew Walbran33645652019-04-15 12:29:31 +010028struct vcpu *api_wake_up(struct vcpu *current, struct vcpu *target_vcpu);
Andrew Walbran318f5732018-11-20 16:23:42 +000029
Manish Pandey35e452f2021-02-18 21:36:34 +000030int64_t api_interrupt_enable(uint32_t intid, bool enable,
31 enum interrupt_type type, struct vcpu *current);
Wedson Almeida Filhoc559d132019-01-09 19:33:40 +000032uint32_t api_interrupt_get(struct vcpu *current);
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010033int64_t api_interrupt_inject(ffa_vm_id_t target_vm_id,
34 ffa_vcpu_index_t target_vcpu_idx, uint32_t intid,
Andrew Walbran42347a92019-05-09 13:59:03 +010035 struct vcpu *current, struct vcpu **next);
Manish Pandeya5f39fb2020-09-11 09:47:11 +010036int64_t api_interrupt_inject_locked(struct vcpu_locked target_locked,
37 uint32_t intid, struct vcpu *current,
38 struct vcpu **next);
Jose Marinhoa1dfeda2019-02-27 16:46:03 +000039
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010040struct ffa_value api_ffa_msg_send(ffa_vm_id_t sender_vm_id,
41 ffa_vm_id_t receiver_vm_id, uint32_t size,
42 uint32_t attributes, struct vcpu *current,
43 struct vcpu **next);
44struct ffa_value api_ffa_msg_recv(bool block, struct vcpu *current,
45 struct vcpu **next);
46struct ffa_value api_ffa_rx_release(struct vcpu *current, struct vcpu **next);
Manish Pandeyd34f8892020-06-19 17:41:07 +010047struct ffa_value api_vm_configure_pages(
48 struct mm_stage1_locked mm_stage1_locked, struct vm_locked vm_locked,
49 ipaddr_t send, ipaddr_t recv, uint32_t page_count,
50 struct mpool *local_page_pool);
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010051struct ffa_value api_ffa_rxtx_map(ipaddr_t send, ipaddr_t recv,
52 uint32_t page_count, struct vcpu *current,
53 struct vcpu **next);
Daniel Boulby9e420ca2021-07-07 15:03:49 +010054struct ffa_value api_ffa_rxtx_unmap(ffa_vm_id_t allocator_id,
55 struct vcpu *current);
Olivier Deprezee9d6a92019-11-26 09:14:11 +000056struct ffa_value api_yield(struct vcpu *current, struct vcpu **next);
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010057struct ffa_value api_ffa_version(uint32_t requested_version);
Fuad Tabbae4efcc32020-07-16 15:37:27 +010058struct ffa_value api_ffa_partition_info_get(struct vcpu *current,
59 const struct ffa_uuid *uuid);
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010060struct ffa_value api_ffa_id_get(const struct vcpu *current);
Daniel Boulbyb2fb80e2021-02-03 15:09:23 +000061struct ffa_value api_ffa_spm_id_get(void);
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010062struct ffa_value api_ffa_features(uint32_t function_id);
63struct ffa_value api_ffa_run(ffa_vm_id_t vm_id, ffa_vcpu_index_t vcpu_idx,
64 const struct vcpu *current, struct vcpu **next);
65struct ffa_value api_ffa_mem_send(uint32_t share_func, uint32_t length,
66 uint32_t fragment_length, ipaddr_t address,
Andrew Walbran1a86aa92020-05-15 17:22:28 +010067 uint32_t page_count, struct vcpu *current);
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010068struct ffa_value api_ffa_mem_retrieve_req(uint32_t length,
69 uint32_t fragment_length,
70 ipaddr_t address, uint32_t page_count,
71 struct vcpu *current);
72struct ffa_value api_ffa_mem_relinquish(struct vcpu *current);
73struct ffa_value api_ffa_mem_reclaim(ffa_memory_handle_t handle,
74 ffa_memory_region_flags_t flags,
75 struct vcpu *current);
Andrew Walbranca808b12020-05-15 17:22:28 +010076struct ffa_value api_ffa_mem_frag_rx(ffa_memory_handle_t handle,
77 uint32_t fragment_offset,
78 ffa_vm_id_t sender_vm_id,
79 struct vcpu *current);
80struct ffa_value api_ffa_mem_frag_tx(ffa_memory_handle_t handle,
81 uint32_t fragment_length,
82 ffa_vm_id_t sender_vm_id,
83 struct vcpu *current);
Olivier Deprezee9d6a92019-11-26 09:14:11 +000084struct ffa_value api_ffa_msg_send_direct_req(ffa_vm_id_t sender_vm_id,
85 ffa_vm_id_t receiver_vm_id,
86 struct ffa_value args,
87 struct vcpu *current,
88 struct vcpu **next);
89struct ffa_value api_ffa_msg_send_direct_resp(ffa_vm_id_t sender_vm_id,
90 ffa_vm_id_t receiver_vm_id,
91 struct ffa_value args,
92 struct vcpu *current,
93 struct vcpu **next);
Max Shvetsov40108e72020-08-27 12:39:50 +010094struct ffa_value api_ffa_secondary_ep_register(ipaddr_t entry_point,
95 struct vcpu *current);
Manish Pandeya5f39fb2020-09-11 09:47:11 +010096struct vcpu *api_switch_to_other_world(struct vcpu *current,
97 struct ffa_value other_world_ret,
98 enum vcpu_state vcpu_state);
J-Alvesa0f317d2021-06-09 13:31:59 +010099struct ffa_value api_ffa_notification_bitmap_create(ffa_vm_id_t vm_id,
100 ffa_vcpu_count_t vcpu_count,
101 struct vcpu *current);
102struct ffa_value api_ffa_notification_bitmap_destroy(ffa_vm_id_t vm_id,
103 struct vcpu *current);
J-Alvesc003a7a2021-03-18 13:06:53 +0000104
105struct ffa_value api_ffa_notification_update_bindings(
106 ffa_vm_id_t sender_vm_id, ffa_vm_id_t receiver_vm_id, uint32_t flags,
107 ffa_notifications_bitmap_t notifications, bool is_bind,
108 struct vcpu *current);
J-Alvesaa79c012021-07-09 14:29:45 +0100109
110struct ffa_value api_ffa_notification_set(
111 ffa_vm_id_t sender_vm_id, ffa_vm_id_t receiver_vm_id, uint32_t flags,
112 ffa_notifications_bitmap_t notifications, struct vcpu *current);
113
114struct ffa_value api_ffa_notification_get(ffa_vm_id_t receiver_vm_id,
115 uint16_t vcpu_id, uint32_t flags,
116 struct vcpu *current);
J-Alvesc8e8a222021-06-08 17:33:52 +0100117
118struct ffa_value api_ffa_notification_info_get(struct vcpu *current);