Searched refs:instr_len_field (Results 1 – 1 of 1) sorted by relevance
10533 int instr_len_field, in __vmx_complete_interrupts() argument10565 vcpu->arch.event_exit_inst_len = vmcs_read32(instr_len_field); in __vmx_complete_interrupts()10575 vcpu->arch.event_exit_inst_len = vmcs_read32(instr_len_field); in __vmx_complete_interrupts()
