/* SPDX-License-Identifier: BSD-2-Clause */

#include <x86/include/xen/arch-intr.h>