Searched refs:ready_for_pic_interrupt (Results 1 – 1 of 1) sorted by relevance
236 bool ready_for_pic_interrupt; member1523 } else if (vcpu->ready_for_pic_interrupt && in whpx_vcpu_pre_run()1562 vcpu->ready_for_pic_interrupt = false; in whpx_vcpu_pre_run()1763 vcpu->ready_for_pic_interrupt = 1; in whpx_vcpu_run()