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.h66 u32 instr_info; member
/linux/arch/x86/kvm/vmx/
H A Dnested.c5672 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread() local
5685 field = kvm_register_read(vcpu, (((instr_info) >> 28) & 0xf)); in handle_vmread()
5733 if (instr_info & BIT(10)) { in handle_vmread()
5734 kvm_register_write(vcpu, (((instr_info) >> 3) & 0xf), value); in handle_vmread()
5738 instr_info, true, len, &gva)) in handle_vmread()
5778 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite() local
5807 if (instr_info & BIT(10)) in handle_vmwrite()
5808 value = kvm_register_read(vcpu, (((instr_info) >> 3) & 0xf)); in handle_vmwrite()
5812 instr_info, false, len, &gva)) in handle_vmwrite()
5819 field = kvm_register_read(vcpu, (((instr_info) >> 28) & 0xf)); in handle_vmwrite()
[all …]
/linux/arch/x86/coco/tdx/
H A Dtdx.c789 ve->instr_info = upper_32_bits(args.r10); in tdx_get_ve_info()