Lines Matching refs:idt_vectoring
3731 u32 idt_vectoring;
3757 idt_vectoring = nr | VECTORING_INFO_VALID_MASK;
3762 idt_vectoring |= INTR_TYPE_SOFT_EXCEPTION;
3764 idt_vectoring |= INTR_TYPE_HARD_EXCEPTION;
3767 idt_vectoring |= VECTORING_INFO_DELIVER_CODE_MASK;
3772 vmcs12->idt_vectoring_info_field = idt_vectoring;
3778 idt_vectoring = nr | VECTORING_INFO_VALID_MASK;
3781 idt_vectoring |= INTR_TYPE_SOFT_INTR;
3785 idt_vectoring |= INTR_TYPE_EXT_INTR;
3787 vmcs12->idt_vectoring_info_field = idt_vectoring;