Re: [Xen-devel] [PATCH v5 05/20] xen: add some dummy headers for PVH mode

2018-11-27 Thread Daniel Kiper
On Wed, Nov 21, 2018 at 03:28:40PM +0100, Juergen Gross wrote: > With Xen PVH mode adding a new machine type the machine related headers > need to be present for the build to succeed. Most of the headers just > need to include the related common i386 headers. Add those to the tree. > > Note that xe

[Xen-devel] [PATCH v5 05/20] xen: add some dummy headers for PVH mode

2018-11-21 Thread Juergen Gross
With Xen PVH mode adding a new machine type the machine related headers need to be present for the build to succeed. Most of the headers just need to include the related common i386 headers. Add those to the tree. Note that xen_pvh/int.h needs to include pc/int_types.h instead of pc/int.h in order