vmm: Restore the correct vm_inject_*() prototypes

Fixes:	80cb5d845b ("vmm: Pass vcpu instead of vm and vcpuid...")
Reviewed by:	jhb
Differential Revision:	https://reviews.freebsd.org/D37443
This commit is contained in:
Mark Johnston 2022-11-18 14:11:21 -05:00
parent 49fd5115a9
commit ca6b48f080

View file

@ -795,27 +795,27 @@ void vm_inject_fault(void *vm, int vcpuid, int vector, int errcode_valid,
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);