Bug 407376 - Update Xen support to 4.12 (4.13, actually) and add more coverage.
commitc88133141a354d65568fb85037abc5e1f74ce46b
authorJulian Seward <jseward@acm.org>
Wed, 22 Jan 2020 09:55:33 +0000 (22 10:55 +0100)
committerJulian Seward <jseward@acm.org>
Wed, 22 Jan 2020 09:55:33 +0000 (22 10:55 +0100)
tree09766e0635f372ae9b22272f2ba35c58e935be97
parent685247b67a6104b71131de6ae6b2e455786a83ad
Bug 407376 - Update Xen support to 4.12 (4.13, actually) and add more coverage.

Patch from Tamas K Lengyel (tamas@tklengyel.com).
coregrind/m_syswrap/syswrap-xen.c
include/vki/vki-xen-domctl.h
include/vki/vki-xen-hvm.h
include/vki/vki-xen-sysctl.h