1 /*
2  * Copyright 2019 The Hafnium Authors.
3  *
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.
7  */
8 
9 #pragma once
10 
11 #include "vmapi/hf/ffa.h"
12 
13 /**
14  * Called after an SMC has been forwarded. `args` contains the arguments passed
15  * to the SMC and `ret` contains the return values that will be set in the vCPU
16  * registers after this call returns.
17  */
18 void plat_smc_post_forward(struct ffa_value args, struct ffa_value *ret);
19