Searched refs:vcpu_queue_exception (Results 1 – 3 of 3) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | virq.c | 186 int32_t vcpu_queue_exception(struct acrn_vcpu *vcpu, uint32_t vector_arg, uint32_t err_code_arg) in vcpu_queue_exception() function
283 (void)vcpu_queue_exception(vcpu, IDT_GP, err_code); in vcpu_inject_gp()
290 (void)vcpu_queue_exception(vcpu, IDT_PF, err_code); in vcpu_inject_pf()
296 (void)vcpu_queue_exception(vcpu, IDT_UD, 0); in vcpu_inject_ud()
302 (void)vcpu_queue_exception(vcpu, IDT_SS, 0); in vcpu_inject_ss()
542 status = vcpu_queue_exception(vcpu, exception_vector, int_err_code); in exception_vmexit_handler()
|
| A D | vmexit.c | 238 (void)vcpu_queue_exception(vcpu, vector, err_code); in vmexit_handler()
|
| /hypervisor/include/arch/x86/asm/guest/ |
| A D | virq.h | 35 int32_t vcpu_queue_exception(struct acrn_vcpu *vcpu, uint32_t vector_arg, uint32_t err_code_arg);
|
Completed in 6 milliseconds