xen: import Xen 4.16 public headers in sys/contrib/The current path of the Xen headers at /sys/xen/interface/ is notcorrect, as those headers are imported verbatim from the Xen sourcesand shouldn
xen: import Xen 4.16 public headers in sys/contrib/The current path of the Xen headers at /sys/xen/interface/ is notcorrect, as those headers are imported verbatim from the Xen sourcesand shouldn't be modified, as any modifications would be lost when anew version is imported.Changes to the public headers must be first done in Xen upstream sothat they can be backported and new imports will already carry them.Import Xen 4.16 headers in sys/contrib/xen/. It's unlikely that wewill import different Xen code, so don't place them inside of anysubdirectory. If in the future other pieces of Xen code need to beimported the headers will need to move into an include/ subdirectory.Note that this commit does not yet modify the include path to use thenewly imported headers.Sponsored by: Citrix Systems R&D
show more ...