diff --git a/sys/amd64/include/vmm.h b/sys/amd64/include/vmm.h
--- a/sys/amd64/include/vmm.h
+++ b/sys/amd64/include/vmm.h
@@ -795,27 +795,27 @@
     int errcode);
 
 static __inline void
-vm_inject_ud(struct vcpu *vcpu)
+vm_inject_ud(void *vm, int vcpuid)
 {
-	vm_inject_fault(vcpu, IDT_UD, 0, 0);
+	vm_inject_fault(vm, vcpuid, IDT_UD, 0, 0);
 }
 
 static __inline void
-vm_inject_gp(struct vcpu *vcpu)
+vm_inject_gp(void *vm, int vcpuid)
 {
-	vm_inject_fault(vcpu, IDT_GP, 1, 0);
+	vm_inject_fault(vm, vcpuid, IDT_GP, 1, 0);
 }
 
 static __inline void
-vm_inject_ac(struct vcpu *vcpu, int errcode)
+vm_inject_ac(void *vm, int vcpuid, int errcode)
 {
-	vm_inject_fault(vcpu, IDT_AC, 1, errcode);
+	vm_inject_fault(vm, vcpuid, IDT_AC, 1, errcode);
 }
 
 static __inline void
-vm_inject_ss(struct vcpu *vcpu, int errcode)
+vm_inject_ss(void *vm, int vcpuid, int errcode)
 {
-	vm_inject_fault(vcpu, IDT_SS, 1, errcode);
+	vm_inject_fault(vm, vcpuid, IDT_SS, 1, errcode);
 }
 
 void vm_inject_pf(void *vm, int vcpuid, int error_code, uint64_t cr2);