commit | f068930277347667125a10e9d8612a585d84738d | [log] [tgz] |
---|---|---|
author | Joao Martins <joao.m.martins@oracle.com> | Mon Jul 23 11:24:36 2018 -0400 |
committer | David Woodhouse <dwmw@amazon.co.uk> | Wed Mar 01 08:22:49 2023 +0000 |
tree | 5a26036e1078090348a3a843f0330b903c23b16d | |
parent | c345104cd1d17e1e801b99a216fa3654cdcbce35 [diff] |
i386/xen: handle VCPUOP_register_vcpu_time_info In order to support Linux vdso in Xen. Signed-off-by: Joao Martins <joao.m.martins@oracle.com> Signed-off-by: David Woodhouse <dwmw@amazon.co.uk> Reviewed-by: Paul Durrant <paul@xen.org>