…
..
patch-Config.mk
patch-xen_arch_x86_Rules.mk
patch-xen_common_page__alloc.c
patch-xen_drivers_passthrough_vtd_x86_ats.c
patch-xen_include_asm-x86_current.h
patch-xen_include_xen_lib.h
patch-xen_Makefile