1 // SPDX-License-Identifier: BSD-3-Clause
2 /*
3 * Copyright (c) 2020-2021, Arm Limited. All rights reserved.
4 */
5
6 #include "mock_ffa_internal_api.h"
7 #include <CppUTestExt/MockSupport.h>
8
expect_ffa_svc(uint64_t a0,uint64_t a1,uint64_t a2,uint64_t a3,uint64_t a4,uint64_t a5,uint64_t a6,uint64_t a7,const struct ffa_params * result)9 void expect_ffa_svc(uint64_t a0, uint64_t a1, uint64_t a2, uint64_t a3,
10 uint64_t a4, uint64_t a5, uint64_t a6, uint64_t a7,
11 const struct ffa_params *result)
12 {
13 mock().expectOneCall("ffa_svc")
14 .withUnsignedLongIntParameter("a0", a0)
15 .withUnsignedLongIntParameter("a1", a1)
16 .withUnsignedLongIntParameter("a2", a2)
17 .withUnsignedLongIntParameter("a3", a3)
18 .withUnsignedLongIntParameter("a4", a4)
19 .withUnsignedLongIntParameter("a5", a5)
20 .withUnsignedLongIntParameter("a6", a6)
21 .withUnsignedLongIntParameter("a7", a7)
22 .withOutputParameterReturning("result", result,
23 sizeof(*result));
24 }
25
ffa_svc(uint64_t a0,uint64_t a1,uint64_t a2,uint64_t a3,uint64_t a4,uint64_t a5,uint64_t a6,uint64_t a7,struct ffa_params * result)26 void ffa_svc(uint64_t a0, uint64_t a1, uint64_t a2, uint64_t a3, uint64_t a4,
27 uint64_t a5, uint64_t a6, uint64_t a7, struct ffa_params *result)
28 {
29 mock().actualCall("ffa_svc")
30 .withUnsignedLongIntParameter("a0", a0)
31 .withUnsignedLongIntParameter("a1", a1)
32 .withUnsignedLongIntParameter("a2", a2)
33 .withUnsignedLongIntParameter("a3", a3)
34 .withUnsignedLongIntParameter("a4", a4)
35 .withUnsignedLongIntParameter("a5", a5)
36 .withUnsignedLongIntParameter("a6", a6)
37 .withUnsignedLongIntParameter("a7", a7)
38 .withOutputParameter("result", result);
39 }
40