Juergen Gross 7ba8dba95c xen: update xen headers
Update some Xen headers to be able to use new functionality.

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
Signed-off-by: David Vrabel <david.vrabel@citrix.com>
2016-07-06 10:42:13 +01:00
..
2016-07-06 10:42:13 +01:00
2016-07-06 10:42:13 +01:00