blob: fdb47ea24b9237432423243d8b19b467929e95f5 [file] [log] [blame]
Andrew Walbran2619e0a2020-01-10 16:37:50 +00001/*
2 * Copyright 2020 The Hafnium Authors.
3 *
Andrew Walbrane959ec12020-06-17 15:01:09 +01004 * 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 Walbran2619e0a2020-01-10 16:37:50 +00007 */
8
9#pragma once
10
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010011#include "hf/ffa.h"
Andrew Walbran2619e0a2020-01-10 16:37:50 +000012
Andrew Walbran41a49d82020-01-10 17:46:38 +000013void arch_tee_init(void);
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010014struct ffa_value arch_tee_call(struct ffa_value args);