diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2016-10-24 10:35:53 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2017-01-16 17:52:35 +0100 |
commit | 5564edb19e06129b62b4b272c290db2efb87cefc (patch) | |
tree | 9ea4a05d6fd285090747f9cfec73f3454ffd04d7 /exec.c | |
parent | 2f7b92a03f1e3813fc046d757138da519f4218d3 (diff) |
stubs: group stubs for user-mode emulation
Some stubs are used for user-mode emulation only; they are not
needed by tools. Move them out of stubs/.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'exec.c')
0 files changed, 0 insertions, 0 deletions