diff options
| author | Oliver Upton <[email protected]> | 2021-09-16 18:15:47 +0000 |
|---|---|---|
| committer | Paolo Bonzini <[email protected]> | 2021-10-18 14:43:45 -0400 |
| commit | 500065393400fc88d20c6d655717c00efc07dc52 (patch) | |
| tree | 9fff7ab5280bc067167cf6c076adc8ef01a1f403 /lib/mpi/mpi-cmp.c | |
| parent | 828ca89628bfcb1b8f27535025f69dd00eb55207 (diff) | |
tools: arch: x86: pull in pvclock headers
Copy over approximately clean versions of the pvclock headers into
tools. Reconcile headers/symbols missing in tools that are unneeded.
Signed-off-by: Oliver Upton <[email protected]>
Message-Id: <[email protected]>
Signed-off-by: Paolo Bonzini <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-cmp.c')
0 files changed, 0 insertions, 0 deletions