diff options
author | Mike Larkin <mlarkin@cvs.openbsd.org> | 2020-01-31 01:51:28 +0000 |
---|---|---|
committer | Mike Larkin <mlarkin@cvs.openbsd.org> | 2020-01-31 01:51:28 +0000 |
commit | 1d290b5998b99d8afe09811ba31b021ad8723920 (patch) | |
tree | 917bf98727e820c5d1569a02770028d5fd066533 /sys/arch | |
parent | 3b5f4da7c849272a4c03b646e8942463e98ae73e (diff) |
Remove an unused function.
Noticed and reported by Adam Steen.
Diffstat (limited to 'sys/arch')
-rw-r--r-- | sys/arch/amd64/amd64/vmm.c | 20 |
1 files changed, 1 insertions, 19 deletions
diff --git a/sys/arch/amd64/amd64/vmm.c b/sys/arch/amd64/amd64/vmm.c index b0d3137282d..659e2931f83 100644 --- a/sys/arch/amd64/amd64/vmm.c +++ b/sys/arch/amd64/amd64/vmm.c @@ -1,4 +1,4 @@ -/* $OpenBSD: vmm.c,v 1.257 2019/12/13 03:38:15 mlarkin Exp $ */ +/* $OpenBSD: vmm.c,v 1.258 2020/01/31 01:51:27 mlarkin Exp $ */ /* * Copyright (c) 2014 Mike Larkin <mlarkin@openbsd.org> * @@ -177,7 +177,6 @@ void vmx_handle_intr(struct vcpu *); void vmx_handle_intwin(struct vcpu *); void vmx_handle_misc_enable_msr(struct vcpu *); int vmm_get_guest_memtype(struct vm *, paddr_t); -int vmm_get_guest_faulttype(void); int vmx_get_guest_faulttype(void); int svm_get_guest_faulttype(struct vmcb *); int vmx_get_exit_qualification(uint64_t *); @@ -5076,23 +5075,6 @@ vmm_get_guest_memtype(struct vm *vm, paddr_t gpa) } /* - * vmm_get_guest_faulttype - * - * Determines the type (R/W/X) of the last fault on the VCPU last run on - * this PCPU. Calls the appropriate architecture-specific subroutine. - */ -int -vmm_get_guest_faulttype(void) -{ - if (vmm_softc->mode == VMM_MODE_EPT) - return vmx_get_guest_faulttype(); - else if (vmm_softc->mode == VMM_MODE_RVI) - return vmx_get_guest_faulttype(); - else - panic("%s: unknown vmm mode: %d", __func__, vmm_softc->mode); -} - -/* * vmx_get_exit_qualification * * Return the current VMCS' exit qualification information |