xen/common/kernel.c | 14 ++++---------- xen/common/keyhandler.c | 1 - xen/common/livepatch.c | 23 ++++++++++------------- xen/common/version.c | 34 ++++++++-------------------------- xen/drivers/char/console.c | 7 +++---- xen/include/xen/lib.h | 1 - xen/include/xen/version.h | 4 +++- 7 files changed, 28 insertions(+), 56 deletions(-)