blob: c96e19ac3094245d0a1ceda66d40f681eff547fc [file] [log] [blame]
Kathleen Capellafb96b982024-04-25 17:09:33 -05001#
2# Copyright (c) 2025 Arm Limited. All rights reserved.
3#
4# SPDX-License-Identifier: BSD-3-Clause
5#
6
7smc: FFA_PARTITION_INFO_GET_REGS_CALL
8 arg1:uuid_lo
9 field:uuid_lo:[0,63] = 0
10 arg2:uuid_hi
11 field:uuid_hi:[0,63] = 0
12 arg3:start_idx_and_tag
13 field:start:[0,15] = 0
14 field:tag:[16,31] = 0
15 arg4-arg17 = 0
16smc: FFA_VERSION_CALL
17 arg1:input_version_number
18 field:mbz:[31,31] = 0
19 field:major:[16,30] = 1
20 field:minor:[0,15] = 2
21 arg2-arg17 = 0
22smc: FFA_MSG_SEND_DIRECT_REQ_64_CALL
23 arg1:sender_reciever
24 field:sender_id:[16,31] = 0
25 field:receiver_id:[0,15] = 0
26 arg2:flags
27 field:message_type:[31,31] = 0
28 field:frmwk_msg_type:[0,7] = 0
29 arg3:msg_0
30 field:msg_0:[0,63] = 0x12121212
31 arg4:msg_1
32 field:msg_1:[0,63] = 0x34343434
33 arg5:msg_2
34 field:msg_2:[0,63] = 0x56565656
35 arg6:msg_3
36 field:msg_3:[0,63] = 0x78787878
37 arg7:msg_4
38 field:msg_4:[0,63] = 0x9a9a9a9a
39 arg8-arg17 = 0
40smc: FFA_MSG_SEND_DIRECT_RESP_64_CALL
41 arg1:sender_reciever
42 field:sender_id:[16,31] = 0
43 field:receiver_id:[0,15] = 0
44 arg2:flags
45 field:message_type:[31,31] = 0
46 field:frmwk_msg_type:[0,7] = 0
47 arg3:msg_0
48 field:msg_0:[0,63] = 0x12121212
49 arg4:msg_1
50 field:msg_1:[0,63] = 0x34343434
51 arg5:msg_2
52 field:msg_2:[0,63] = 0x56565656
53 arg6:msg_3
54 field:msg_3:[0,63] = 0x78787878
55 arg7:msg_4
56 field:msg_4:[0,63] = 0x9a9a9a9a
57 arg8-arg17 = 0
58smc: FFA_MSG_SEND_DIRECT_REQ_32_CALL
59 arg1:sender_reciever
60 field:sender_id:[16,31] = 0
61 field:receiver_id:[0,15] = 0
62 arg2:flags
63 field:message_type:[31,31] = 0
64 field:frmwk_msg_type:[0,7] = 0
65 arg3:msg_0
66 field:msg_0:[0,31] = 0x1212
67 arg4:msg_1
68 field:msg_1:[0,31] = 0x3434
69 arg5:msg_2
70 field:msg_2:[0,31] = 0x5656
71 arg6:msg_3
72 field:msg_3:[0,31] = 0x7878
73 arg7:msg_4
74 field:msg_4:[0,31] = 0x9a9a
75 arg8-arg17 = 0
76smc: FFA_MSG_SEND_DIRECT_RESP_32_CALL
77 arg1:sender_reciever
78 field:sender_id:[16,31] = 0
79 field:receiver_id:[0,15] = 0
80 arg2:flags
81 field:message_type:[31,31] = 0
82 field:frmwk_msg_type:[0,7] = 0
83 arg3:msg_0
84 field:msg_0:[0,31] = 0x1212
85 arg4:msg_1
86 field:msg_1:[0,31] = 0x3434
87 arg5:msg_2
88 field:msg_2:[0,31] = 0x5656
89 arg6:msg_3
90 field:msg_3:[0,31] = 0x7878
91 arg7:msg_4
92 field:msg_4:[0,31] = 0x9a9a
93 arg8-arg17 = 0
94smc: FFA_FEATURES_FEAT_ID_CALL
95 arg1:ffa_func_or_feat_id
96 field:w1_is_ffa_func_id:[31,31] = 0
97 field:feat_id:[0,7] = 0x1
98 arg2:input_properties
99 field:input_properties:[0,63] = 0
100 arg3-arg17 = 0
101smc: FFA_FEATURES_FUNC_ID_CALL
102 arg1:ffa_func_or_feat_id
103 field:func_id:[0,31] = 0x84000064
104 arg2:input_properties
105 field:input_properties:[0,63] = 0x0
106 arg3-arg17 = 0
107smc: FFA_RUN_CALL
108 arg1:target_information
109 field:target_vm_id:[16,31] = 0
110 field:target_vcpu_id:[0,15] = 0
111 arg2-arg17 = 0
112smc: FFA_NOTIFICATION_BITMAP_CREATE_CALL
113 arg1:vm_id
114 field:vm_id:[0,15] = 1
115 arg2:n_vcpus
116 field:n_vcpus:[0,63] = 1
117 arg3-arg17 = 0
118smc: FFA_NOTIFICATION_BIND_CALL
119 arg1:sender_reciever
120 field:sender_id:[16,31] = 0
121 field:receiver_id:[0,15] = 0
122 arg2:flags
123 field:per_vcpu_notifications:[0,0] = 0
124 arg3:notification_bitmap_lo
125 field:bitmap:[0,31] = 0xAAAA
126 arg4:notification_bitmap_hi
127 field:bitmap:[0,31] = 0x5555
128 arg5-arg17 = 0
129smc: FFA_NOTIFICATION_BITMAP_DESTROY_CALL
130 arg1:vm_id
131 field:vm_id:[0,15] = 1
132 arg2-arg17 = 0