Andrew Scull | 1883487 | 2018-10-12 11:48:09 +0100 | [diff] [blame] | 1 | /* |
Andrew Walbran | 692b325 | 2019-03-07 15:51:31 +0000 | [diff] [blame] | 2 | * Copyright 2018 The Hafnium Authors. |
Andrew Scull | 1883487 | 2018-10-12 11:48:09 +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. |
Andrew Scull | 1883487 | 2018-10-12 11:48:09 +0100 | [diff] [blame] | 7 | */ |
| 8 | |
Andrew Scull | fbc938a | 2018-08-20 14:09:28 +0100 | [diff] [blame] | 9 | #pragma once |
Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame] | 10 | |
Andrew Scull | 18c78fc | 2018-08-20 12:57:41 +0100 | [diff] [blame] | 11 | #include "hf/cpu.h" |
Wedson Almeida Filho | 22d5eaa | 2018-12-16 00:38:49 +0000 | [diff] [blame] | 12 | #include "hf/mpool.h" |
Andrew Scull | 18c78fc | 2018-08-20 12:57:41 +0100 | [diff] [blame] | 13 | #include "hf/vm.h" |
Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame] | 14 | |
Andrew Scull | 6d2db33 | 2018-10-10 15:28:17 +0100 | [diff] [blame] | 15 | #include "vmapi/hf/call.h" |
Andrew Walbran | b5ab43c | 2020-04-30 11:32:54 +0100 | [diff] [blame] | 16 | #include "vmapi/hf/ffa.h" |
Andrew Scull | 6d2db33 | 2018-10-10 15:28:17 +0100 | [diff] [blame] | 17 | |
Wedson Almeida Filho | 22d5eaa | 2018-12-16 00:38:49 +0000 | [diff] [blame] | 18 | void api_init(struct mpool *ppool); |
Andrew Walbran | 1f8d487 | 2018-12-20 11:21:32 +0000 | [diff] [blame] | 19 | void api_regs_state_saved(struct vcpu *vcpu); |
Wedson Almeida Filho | ea62e2e | 2019-01-09 19:14:59 +0000 | [diff] [blame] | 20 | int64_t api_mailbox_writable_get(const struct vcpu *current); |
Andrew Walbran | b5ab43c | 2020-04-30 11:32:54 +0100 | [diff] [blame] | 21 | int64_t api_mailbox_waiter_get(ffa_vm_id_t vm_id, const struct vcpu *current); |
Andrew Walbran | c1ad4ce | 2019-05-09 11:41:39 +0100 | [diff] [blame] | 22 | int64_t api_debug_log(char c, struct vcpu *current); |
Andrew Scull | 6bca35e | 2018-10-02 12:05:32 +0100 | [diff] [blame] | 23 | |
Andrew Scull | 33fecd3 | 2019-01-08 14:48:27 +0000 | [diff] [blame] | 24 | struct vcpu *api_preempt(struct vcpu *current); |
Andrew Scull | 33fecd3 | 2019-01-08 14:48:27 +0000 | [diff] [blame] | 25 | struct vcpu *api_wait_for_interrupt(struct vcpu *current); |
Andrew Walbran | 3364565 | 2019-04-15 12:29:31 +0100 | [diff] [blame] | 26 | struct vcpu *api_vcpu_off(struct vcpu *current); |
Andrew Scull | 9726c25 | 2019-01-23 13:44:19 +0000 | [diff] [blame] | 27 | struct vcpu *api_abort(struct vcpu *current); |
Andrew Walbran | 3364565 | 2019-04-15 12:29:31 +0100 | [diff] [blame] | 28 | struct vcpu *api_wake_up(struct vcpu *current, struct vcpu *target_vcpu); |
Andrew Walbran | 318f573 | 2018-11-20 16:23:42 +0000 | [diff] [blame] | 29 | |
Manish Pandey | 35e452f | 2021-02-18 21:36:34 +0000 | [diff] [blame] | 30 | int64_t api_interrupt_enable(uint32_t intid, bool enable, |
| 31 | enum interrupt_type type, struct vcpu *current); |
Wedson Almeida Filho | c559d13 | 2019-01-09 19:33:40 +0000 | [diff] [blame] | 32 | uint32_t api_interrupt_get(struct vcpu *current); |
Andrew Walbran | b5ab43c | 2020-04-30 11:32:54 +0100 | [diff] [blame] | 33 | int64_t api_interrupt_inject(ffa_vm_id_t target_vm_id, |
| 34 | ffa_vcpu_index_t target_vcpu_idx, uint32_t intid, |
Andrew Walbran | 42347a9 | 2019-05-09 13:59:03 +0100 | [diff] [blame] | 35 | struct vcpu *current, struct vcpu **next); |
Manish Pandey | a5f39fb | 2020-09-11 09:47:11 +0100 | [diff] [blame] | 36 | int64_t api_interrupt_inject_locked(struct vcpu_locked target_locked, |
| 37 | uint32_t intid, struct vcpu *current, |
| 38 | struct vcpu **next); |
Jose Marinho | a1dfeda | 2019-02-27 16:46:03 +0000 | [diff] [blame] | 39 | |
Andrew Walbran | b5ab43c | 2020-04-30 11:32:54 +0100 | [diff] [blame] | 40 | struct 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); |
| 44 | struct ffa_value api_ffa_msg_recv(bool block, struct vcpu *current, |
| 45 | struct vcpu **next); |
| 46 | struct ffa_value api_ffa_rx_release(struct vcpu *current, struct vcpu **next); |
Manish Pandey | d34f889 | 2020-06-19 17:41:07 +0100 | [diff] [blame] | 47 | struct 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 Walbran | b5ab43c | 2020-04-30 11:32:54 +0100 | [diff] [blame] | 51 | struct 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 Boulby | 9e420ca | 2021-07-07 15:03:49 +0100 | [diff] [blame] | 54 | struct ffa_value api_ffa_rxtx_unmap(ffa_vm_id_t allocator_id, |
| 55 | struct vcpu *current); |
Olivier Deprez | ee9d6a9 | 2019-11-26 09:14:11 +0000 | [diff] [blame] | 56 | struct ffa_value api_yield(struct vcpu *current, struct vcpu **next); |
Andrew Walbran | b5ab43c | 2020-04-30 11:32:54 +0100 | [diff] [blame] | 57 | struct ffa_value api_ffa_version(uint32_t requested_version); |
Fuad Tabba | e4efcc3 | 2020-07-16 15:37:27 +0100 | [diff] [blame] | 58 | struct ffa_value api_ffa_partition_info_get(struct vcpu *current, |
| 59 | const struct ffa_uuid *uuid); |
Andrew Walbran | b5ab43c | 2020-04-30 11:32:54 +0100 | [diff] [blame] | 60 | struct ffa_value api_ffa_id_get(const struct vcpu *current); |
Daniel Boulby | b2fb80e | 2021-02-03 15:09:23 +0000 | [diff] [blame] | 61 | struct ffa_value api_ffa_spm_id_get(void); |
Andrew Walbran | b5ab43c | 2020-04-30 11:32:54 +0100 | [diff] [blame] | 62 | struct ffa_value api_ffa_features(uint32_t function_id); |
| 63 | struct 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); |
| 65 | struct ffa_value api_ffa_mem_send(uint32_t share_func, uint32_t length, |
| 66 | uint32_t fragment_length, ipaddr_t address, |
Andrew Walbran | 1a86aa9 | 2020-05-15 17:22:28 +0100 | [diff] [blame] | 67 | uint32_t page_count, struct vcpu *current); |
Andrew Walbran | b5ab43c | 2020-04-30 11:32:54 +0100 | [diff] [blame] | 68 | struct 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); |
| 72 | struct ffa_value api_ffa_mem_relinquish(struct vcpu *current); |
| 73 | struct ffa_value api_ffa_mem_reclaim(ffa_memory_handle_t handle, |
| 74 | ffa_memory_region_flags_t flags, |
| 75 | struct vcpu *current); |
Andrew Walbran | ca808b1 | 2020-05-15 17:22:28 +0100 | [diff] [blame] | 76 | struct 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); |
| 80 | struct 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 Deprez | ee9d6a9 | 2019-11-26 09:14:11 +0000 | [diff] [blame] | 84 | struct 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); |
| 89 | struct 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 Shvetsov | 40108e7 | 2020-08-27 12:39:50 +0100 | [diff] [blame] | 94 | struct ffa_value api_ffa_secondary_ep_register(ipaddr_t entry_point, |
| 95 | struct vcpu *current); |
Manish Pandey | a5f39fb | 2020-09-11 09:47:11 +0100 | [diff] [blame] | 96 | struct vcpu *api_switch_to_other_world(struct vcpu *current, |
| 97 | struct ffa_value other_world_ret, |
| 98 | enum vcpu_state vcpu_state); |
J-Alves | a0f317d | 2021-06-09 13:31:59 +0100 | [diff] [blame] | 99 | struct ffa_value api_ffa_notification_bitmap_create(ffa_vm_id_t vm_id, |
| 100 | ffa_vcpu_count_t vcpu_count, |
| 101 | struct vcpu *current); |
| 102 | struct ffa_value api_ffa_notification_bitmap_destroy(ffa_vm_id_t vm_id, |
| 103 | struct vcpu *current); |
J-Alves | c003a7a | 2021-03-18 13:06:53 +0000 | [diff] [blame] | 104 | |
| 105 | struct 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-Alves | aa79c01 | 2021-07-09 14:29:45 +0100 | [diff] [blame] | 109 | |
| 110 | struct 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 | |
| 114 | struct 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-Alves | c8e8a22 | 2021-06-08 17:33:52 +0100 | [diff] [blame^] | 117 | |
| 118 | struct ffa_value api_ffa_notification_info_get(struct vcpu *current); |