1 /*
2  * SPDX-License-Identifier: BSD-3-Clause
3  * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4  */
5 #include <assert.h>
6 #include <debug.h>
7 #include <smc-handler.h>
8 #include <smc-rmi.h>
9 
10 COMPILER_ASSERT(RMI_ABI_VERSION_MAJOR <= 0x7FFF);
11 COMPILER_ASSERT(RMI_ABI_VERSION_MINOR <= 0xFFFF);
12 
smc_version(void)13 unsigned long smc_version(void)
14 {
15 	return RMI_ABI_VERSION;
16 }
17