Searched refs:ready_for_pic_interrupt (Results 1 – 3 of 3) sorted by relevance
155 bool ready_for_pic_interrupt; member849 } else if (vcpu->ready_for_pic_interrupt && in whpx_vcpu_pre_run()888 vcpu->ready_for_pic_interrupt = false; in whpx_vcpu_pre_run()1019 vcpu->ready_for_pic_interrupt = 1; in whpx_vcpu_run()