Home
last modified time | relevance | path

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

/linux/arch/x86/include/asm/
H A Dtdx.h54 u32 instr_info; member
/linux/arch/x86/kvm/vmx/
H A Dnested.c5636 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread() local
5649 field = kvm_register_read(vcpu, (((instr_info) >> 28) & 0xf)); in handle_vmread()
5697 if (instr_info & BIT(10)) { in handle_vmread()
5698 kvm_register_write(vcpu, (((instr_info) >> 3) & 0xf), value); in handle_vmread()
5702 instr_info, true, len, &gva)) in handle_vmread()
5742 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite() local
5771 if (instr_info & BIT(10)) in handle_vmwrite()
5772 value = kvm_register_read(vcpu, (((instr_info) >> 3) & 0xf)); in handle_vmwrite()
5776 instr_info, false, len, &gva)) in handle_vmwrite()
5783 field = kvm_register_read(vcpu, (((instr_info) >> 28) & 0xf)); in handle_vmwrite()
[all …]
/linux/arch/x86/coco/tdx/
H A Dtdx.c808 ve->instr_info = upper_32_bits(args.r10); in tdx_get_ve_info()