Changeset View
Changeset View
Standalone View
Standalone View
sys/amd64/include/vmm.h
Show First 20 Lines • Show All 789 Lines • ▼ Show 20 Lines | |||||
} | } | ||||
void vm_inject_pf(struct vcpu *vcpu, int error_code, uint64_t cr2); | void vm_inject_pf(struct vcpu *vcpu, int error_code, uint64_t cr2); | ||||
#else | #else | ||||
void vm_inject_fault(void *vm, int vcpuid, int vector, int errcode_valid, | void vm_inject_fault(void *vm, int vcpuid, int vector, int errcode_valid, | ||||
int errcode); | int errcode); | ||||
static __inline void | 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 | 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 | 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 | 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); | void vm_inject_pf(void *vm, int vcpuid, int error_code, uint64_t cr2); | ||||
#endif | #endif | ||||
#endif /* _VMM_H_ */ | #endif /* _VMM_H_ */ |