Welcome to mirror list, hosted at ThFree Co, Russian Federation.
1 2
/* SPDX-License-Identifier: GPL-2.0 */ #include <xen/arm/xen-ops.h>