162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */
262306a36Sopenharmony_ci/*
362306a36Sopenharmony_ci * Copyright (C) 2022 - Google LLC
462306a36Sopenharmony_ci * Author: Andrew Walbran <qwandor@google.com>
562306a36Sopenharmony_ci */
662306a36Sopenharmony_ci#ifndef __KVM_HYP_FFA_H
762306a36Sopenharmony_ci#define __KVM_HYP_FFA_H
862306a36Sopenharmony_ci
962306a36Sopenharmony_ci#include <asm/kvm_host.h>
1062306a36Sopenharmony_ci
1162306a36Sopenharmony_ci#define FFA_MIN_FUNC_NUM 0x60
1262306a36Sopenharmony_ci#define FFA_MAX_FUNC_NUM 0x7F
1362306a36Sopenharmony_ci
1462306a36Sopenharmony_ciint hyp_ffa_init(void *pages);
1562306a36Sopenharmony_cibool kvm_host_ffa_handler(struct kvm_cpu_context *host_ctxt, u32 func_id);
1662306a36Sopenharmony_ci
1762306a36Sopenharmony_ci#endif /* __KVM_HYP_FFA_H */
18