Searched refs:idt_index (Results 1 – 5 of 5) sorted by relevance
| /arch/x86/include/asm/ |
| D | kvm_emulate.h | 444 u16 tss_selector, int idt_index, int reason,
|
| D | kvm_host.h | 1022 int kvm_task_switch(struct kvm_vcpu *vcpu, u16 tss_selector, int idt_index,
|
| /arch/x86/kvm/ |
| D | emulate.c | 3214 u16 tss_selector, int idt_index, int reason, in emulator_do_task_switch() argument
3246 if (idt_index != -1) { in emulator_do_task_switch()
3251 ret = read_interrupt_descriptor(ctxt, idt_index, in emulator_do_task_switch()
3258 return emulate_gp(ctxt, (idt_index << 3) | 0x2); in emulator_do_task_switch()
3316 u16 tss_selector, int idt_index, int reason, in emulator_task_switch() argument
3325 rc = emulator_do_task_switch(ctxt, tss_selector, idt_index, reason, in emulator_task_switch()
|
| D | vmx.c | 6061 int reason, type, idt_v, idt_index; in handle_task_switch() local
6064 idt_index = (vmx->idt_vectoring_info & VECTORING_INFO_VECTOR_MASK); in handle_task_switch()
6103 type == INTR_TYPE_SOFT_INTR ? idt_index : -1, reason, in handle_task_switch()
|
| D | x86.c | 7185 int kvm_task_switch(struct kvm_vcpu *vcpu, u16 tss_selector, int idt_index, in kvm_task_switch() argument
7193 ret = emulator_task_switch(ctxt, tss_selector, idt_index, reason, in kvm_task_switch()
|