Home
last modified time | relevance | path

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

/Linux-v6.1/arch/x86/include/asm/
Dtdx.h51 u32 instr_info; member
/Linux-v6.1/arch/x86/kvm/vmx/
Dnested.c5268 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread() local
5281 field = kvm_register_read(vcpu, (((instr_info) >> 28) & 0xf)); in handle_vmread()
5329 if (instr_info & BIT(10)) { in handle_vmread()
5330 kvm_register_write(vcpu, (((instr_info) >> 3) & 0xf), value); in handle_vmread()
5334 instr_info, true, len, &gva)) in handle_vmread()
5374 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite() local
5403 if (instr_info & BIT(10)) in handle_vmwrite()
5404 value = kvm_register_read(vcpu, (((instr_info) >> 3) & 0xf)); in handle_vmwrite()
5408 instr_info, false, len, &gva)) in handle_vmwrite()
5415 field = kvm_register_read(vcpu, (((instr_info) >> 28) & 0xf)); in handle_vmwrite()
[all …]
/Linux-v6.1/arch/x86/coco/tdx/
Dtdx.c571 ve->instr_info = upper_32_bits(out.r10); in tdx_get_ve_info()