1*9bf22421SOleksandr Tyshchenko /* SPDX-License-Identifier: GPL-2.0 */ 2*9bf22421SOleksandr Tyshchenko #include <xen/arm/xen-ops.h> 3