1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Copyright (C) 2022 Arm Limited. 4 * All rights reserved. 5 */ 6 #include "../../arm/asm/arm-smccc.h" 7