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