Drop vpid_sync(), it's unused for good reason.
Signed-off-by: Sean Christopherson <seanjc@xxxxxxxxxx>
---
x86/vmx.c | 18 ------------------
x86/vmx.h | 1 -
2 files changed, 19 deletions(-)
diff --git a/x86/vmx.c b/x86/vmx.c
index eb5417b..e499704 100644
--- a/x86/vmx.c
+++ b/x86/vmx.c
@@ -1164,24 +1164,6 @@ void set_ept_pte(unsigned long *pml4, unsigned long guest_addr,
pt[offset] = pte_val;
}
-void vpid_sync(int type, u16 vpid)
-{
- switch(type) {
- case INVVPID_CONTEXT_GLOBAL:
- if (ept_vpid.val & VPID_CAP_INVVPID_CXTGLB) {
- invvpid(INVVPID_CONTEXT_GLOBAL, vpid, 0);
- break;
- }
- case INVVPID_ALL:
- if (ept_vpid.val & VPID_CAP_INVVPID_ALL) {
- invvpid(INVVPID_ALL, vpid, 0);
- break;
- }
- default:
- printf("WARNING: invvpid is not supported\n");
- }
-}
-
static void init_vmcs_ctrl(void)
{
/* 26.2 CHECKS ON VMX CONTROLS AND HOST-STATE AREA */
diff --git a/x86/vmx.h b/x86/vmx.h
index 0b7fb20..4936120 100644
--- a/x86/vmx.h
+++ b/x86/vmx.h
@@ -983,7 +983,6 @@ int init_vmcs(struct vmcs **vmcs);
const char *exit_reason_description(u64 reason);
void print_vmexit_info(union exit_reason exit_reason);
void print_vmentry_failure_info(struct vmentry_result *result);
-void vpid_sync(int type, u16 vpid);
void install_ept_entry(unsigned long *pml4, int pte_level,
unsigned long guest_addr, unsigned long pte,
unsigned long *pt_page);
--
2.34.0.rc2.393.gf8c9666880-goog
