diff options
| author | Lan Tianyu <Tianyu.Lan@microsoft.com> | 2018-12-06 15:34:36 +0800 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2018-12-14 18:00:02 +0100 |
| commit | 53963a70ac268c8e813e6d5cd24cbd1b03f56059 (patch) | |
| tree | 8c7a8e61c15a2fd0695caeb3acd8f2f432cb37ba /scripts/gcc-plugins/sancov_plugin.c | |
| parent | a0d4f8034446df402a879dac04cab61f71c4fafc (diff) | |
KVM/VMX: Check ept_pointer before flushing ept tlb
This patch is to initialize ept_pointer to INVALID_PAGE and check it
before flushing ept tlb. If ept_pointer is invalid, bypass the flush
request.
Signed-off-by: Lan Tianyu <Tianyu.Lan@microsoft.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'scripts/gcc-plugins/sancov_plugin.c')
0 files changed, 0 insertions, 0 deletions