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