tools/include/xenctrl.h | 3 + tools/libs/ctrl/xc_misc.c | 35 ++++++++++ tools/misc/xen-ucode.c | 83 ++++++++++++++++++++---- xen/arch/x86/platform_hypercall.c | 29 +++++++++ xen/arch/x86/x86_64/platform_hypercall.c | 4 ++ xen/include/public/platform.h | 11 ++++ xen/include/xlat.lst | 1 + 7 files changed, 154 insertions(+), 12 deletions(-)