/* SPDX-License-Identifier: BSD-2-Clause */ #include <x86/include/xen/arch-intr.h>