1 /*
2  * Copyright 2025 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 #include "hf/arch/ffa.h"
10 
11 #include "hf/dlog.h"
12 #include "hf/ffa/vm.h"
13 #include "hf/mpool.h"
14 
ffa_init_log(void)15 void ffa_init_log(void)
16 {
17 	dlog_info("Initializing Hafnium (SPMC)\n");
18 }
19 
ffa_init(struct mpool * ppool)20 void ffa_init(struct mpool *ppool)
21 {
22 	arch_ffa_init();
23 	ffa_vm_init(ppool);
24 }
25 
ffa_init_set_tee_enabled(bool tee_enabled)26 void ffa_init_set_tee_enabled(bool tee_enabled)
27 {
28 	(void)tee_enabled;
29 }
30