diff options
| author | Joao Martins <[email protected]> | 2018-07-23 11:20:57 -0400 |
|---|---|---|
| committer | David Woodhouse <[email protected]> | 2021-02-04 14:19:39 +0000 |
| commit | f2340cd9e41dc463cb1189274f3db560c1dfa1f4 (patch) | |
| tree | 6027d74c22ab8dde30f99ab49411c87eac5db8b9 /lib/mpi/mpi-mod.c | |
| parent | aa096aa0a05ff7f1e7b8da95fae7aa71668212c7 (diff) | |
KVM: x86/xen: register vcpu time info region
Allow the Xen emulated guest the ability to register secondary
vcpu time information. On Xen guests this is used in order to be
mapped to userspace and hence allow vdso gettimeofday to work.
Signed-off-by: Joao Martins <[email protected]>
Signed-off-by: David Woodhouse <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-mod.c')
0 files changed, 0 insertions, 0 deletions