Home
last modified time | relevance | path

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

/OK3568_Linux_fs/kernel/arch/x86/kvm/vmx/
H A Dnested.c3666 u32 idt_vectoring; in vmcs12_save_pending_event() local
3692 idt_vectoring = nr | VECTORING_INFO_VALID_MASK; in vmcs12_save_pending_event()
3697 idt_vectoring |= INTR_TYPE_SOFT_EXCEPTION; in vmcs12_save_pending_event()
3699 idt_vectoring |= INTR_TYPE_HARD_EXCEPTION; in vmcs12_save_pending_event()
3702 idt_vectoring |= VECTORING_INFO_DELIVER_CODE_MASK; in vmcs12_save_pending_event()
3707 vmcs12->idt_vectoring_info_field = idt_vectoring; in vmcs12_save_pending_event()
3713 idt_vectoring = nr | VECTORING_INFO_VALID_MASK; in vmcs12_save_pending_event()
3716 idt_vectoring |= INTR_TYPE_SOFT_INTR; in vmcs12_save_pending_event()
3720 idt_vectoring |= INTR_TYPE_EXT_INTR; in vmcs12_save_pending_event()
3722 vmcs12->idt_vectoring_info_field = idt_vectoring; in vmcs12_save_pending_event()