Searched refs:vcpu_make_request (Results 1 – 11 of 11) sorted by relevance
| /hypervisor/arch/x86/ |
| A D | nmi.c | 22 vcpu_make_request(vcpu, ACRN_REQUEST_NMI); in handle_nmi()
|
| A D | notify.c | 67 vcpu_make_request(vcpu, ACRN_REQUEST_SMP_CALL); in smp_call_function()
|
| /hypervisor/arch/x86/guest/ |
| A D | virq.c | 130 void vcpu_make_request(struct acrn_vcpu *vcpu, uint16_t eventid) in vcpu_make_request() function
208 vcpu_make_request(vcpu, ACRN_REQUEST_TRP_FAULT); in vcpu_queue_exception()
228 vcpu_make_request(vcpu, ACRN_REQUEST_EXCP); in vcpu_queue_exception()
269 vcpu_make_request(vcpu, ACRN_REQUEST_EXTINT); in vcpu_inject_extint()
276 vcpu_make_request(vcpu, ACRN_REQUEST_NMI); in vcpu_inject_nmi()
|
| A D | lock_instr_emul.c | 49 vcpu_make_request(other, ACRN_REQUEST_SPLIT_LOCK); in vcpu_kick_lock_instr_emulation()
|
| A D | vmexit.c | 241 vcpu_make_request(vcpu, ACRN_REQUEST_NMI); in vmexit_handler()
455 vcpu_make_request(other, ACRN_REQUEST_WAIT_WBINVD); in wbinvd_vmexit_handler()
|
| A D | virtual_cr.c | 311 vcpu_make_request(vcpu, ACRN_REQUEST_EPT_FLUSH); in vmx_write_cr0()
379 vcpu_make_request(vcpu, ACRN_REQUEST_EPT_FLUSH); in vmx_write_cr4()
|
| A D | vcpu.c | 181 vcpu_make_request(vcpu, ACRN_REQUEST_EOI_EXIT_BITMAP_UPDATE); in vcpu_set_eoi_exit_bitmap()
191 vcpu_make_request(vcpu, ACRN_REQUEST_EOI_EXIT_BITMAP_UPDATE); in vcpu_clear_eoi_exit_bitmap()
203 vcpu_make_request(vcpu, ACRN_REQUEST_EOI_EXIT_BITMAP_UPDATE); in vcpu_reset_eoi_exit_bitmaps()
1061 vcpu_make_request(vcpu, ACRN_REQUEST_EVENT); in vcpu_handle_pi_notification()
|
| A D | vlapic.c | 494 vcpu_make_request(vlapic2vcpu(vlapic), ACRN_REQUEST_EVENT); in apicv_basic_accept_intr()
829 vcpu_make_request(vlapic2vcpu(vlapic), ACRN_REQUEST_EVENT); in vlapic_process_eoi()
1119 vcpu_make_request(target_vcpu, ACRN_REQUEST_INIT_VMCS); in vlapic_process_init_sipi()
2327 vcpu_make_request(vcpu, ACRN_REQUEST_EVENT); in apicv_basic_has_pending_delivery_intr()
2578 vcpu_make_request(vcpu, ACRN_REQUEST_EVENT); in tpr_below_threshold_vmexit_handler()
|
| A D | ept.c | 313 vcpu_make_request(vcpu, ACRN_REQUEST_EPT_FLUSH); in ept_flush_guest()
|
| A D | vm.c | 992 vcpu_make_request(bsp, ACRN_REQUEST_INIT_VMCS); in start_vm()
|
| /hypervisor/include/arch/x86/asm/guest/ |
| A D | virq.h | 104 void vcpu_make_request(struct acrn_vcpu *vcpu, uint16_t eventid);
|
Completed in 29 milliseconds