xref: /linux/arch/x86/xen/Makefile (revision da1d9caf95def6f0320819cf941c9fd1069ba9e1)