Searched refs:gpr_index (Results 1 – 1 of 1) sorted by relevance
6151 int gpr_index; in handle_invpcid() local6159 gpr_index = vmx_get_instr_info_reg2(vmx_instruction_info); in handle_invpcid()6160 type = kvm_register_read(vcpu, gpr_index); in handle_invpcid()