Home
last modified time | relevance | path

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

/Linux-v6.6/arch/x86/include/asm/
Dtdx.h38 u32 instr_info; member
/Linux-v6.6/arch/x86/kvm/vmx/
Dnested.c5348 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread() local
5361 field = kvm_register_read(vcpu, (((instr_info) >> 28) & 0xf)); in handle_vmread()
5409 if (instr_info & BIT(10)) { in handle_vmread()
5410 kvm_register_write(vcpu, (((instr_info) >> 3) & 0xf), value); in handle_vmread()
5414 instr_info, true, len, &gva)) in handle_vmread()
5454 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite() local
5483 if (instr_info & BIT(10)) in handle_vmwrite()
5484 value = kvm_register_read(vcpu, (((instr_info) >> 3) & 0xf)); in handle_vmwrite()
5488 instr_info, false, len, &gva)) in handle_vmwrite()
5495 field = kvm_register_read(vcpu, (((instr_info) >> 28) & 0xf)); in handle_vmwrite()
[all …]
/Linux-v6.6/arch/x86/coco/tdx/
Dtdx.c605 ve->instr_info = upper_32_bits(out.r10); in tdx_get_ve_info()