Home
last modified time | relevance | path

Searched refs:vcpu_index (Results 1 – 3 of 3) sorted by relevance

/hypervisor/arch/x86/
A Dnotify.c123 uint32_t vcpu_index = irq - POSTED_INTR_IRQ; in handle_pi_notification() local
125 ASSERT(vcpu_index < CONFIG_MAX_VM_NUM, ""); in handle_pi_notification()
126 vcpu_handle_pi_notification(vcpu_index); in handle_pi_notification()
/hypervisor/arch/x86/guest/
A Dvcpu.c1043 void vcpu_handle_pi_notification(uint32_t vcpu_index) in vcpu_handle_pi_notification() argument
1045 struct acrn_vcpu *vcpu = get_cpu_var(vcpu_array)[vcpu_index]; in vcpu_handle_pi_notification()
1047 ASSERT(vcpu_index < CONFIG_MAX_VM_NUM, ""); in vcpu_handle_pi_notification()
/hypervisor/include/arch/x86/asm/guest/
A Dvcpu.h738 void vcpu_handle_pi_notification(uint32_t vcpu_index);

Completed in 10 milliseconds