Searched refs:idt_index (Results 1 – 3 of 3) sorted by relevance
| /linux/arch/x86/kvm/ |
| H A D | x86.h | 491 int kvm_task_switch(struct kvm_vcpu *vcpu, u16 tss_selector, int idt_index,
|
| H A D | x86.c | 9073 int kvm_task_switch(struct kvm_vcpu *vcpu, u16 tss_selector, int idt_index, in kvm_task_switch() argument
9100 ret = emulator_task_switch(ctxt, tss_selector, idt_index, reason, in kvm_task_switch()
|
| /linux/arch/x86/kvm/vmx/ |
| H A D | vmx.c | 5922 int reason, type, idt_v, idt_index; in handle_task_switch() local
5925 idt_index = (vmx->idt_vectoring_info & VECTORING_INFO_VECTOR_MASK); in handle_task_switch()
5968 type == INTR_TYPE_SOFT_INTR ? idt_index : -1, in handle_task_switch()
|