Home
last modified time | relevance | path

Searched refs:guest_ia32_debugctl (Results 1 – 8 of 8) sorted by relevance

/Linux-v5.4/arch/x86/kvm/vmx/
Dvmcs12.h55 u64 guest_ia32_debugctl; member
245 CHECK_OFFSET(guest_ia32_debugctl, 184); in vmx_check_vmcs12_offsets()
Dvmcs12.c55 FIELD64(GUEST_IA32_DEBUGCTL, guest_ia32_debugctl),
Devmcs.c76 EVMCS1_FIELD(GUEST_IA32_DEBUGCTL, guest_ia32_debugctl,
Dnested.c1588 vmcs12->guest_ia32_debugctl = evmcs->guest_ia32_debugctl; in copy_enlightened_to_vmcs12()
2324 vmcs_write64(GUEST_IA32_DEBUGCTL, vmcs12->guest_ia32_debugctl); in prepare_vmcs02()
Dvmx.c1949 get_vmcs12(vcpu)->guest_ia32_debugctl = data; in vmx_set_msr()
/Linux-v5.4/tools/testing/selftests/kvm/include/
Devmcs.h125 u64 guest_ia32_debugctl; member
342 *value = current_evmcs->guest_ia32_debugctl; in evmcs_vmread()
729 current_evmcs->guest_ia32_debugctl = value; in evmcs_vmwrite()
/Linux-v5.4/arch/x86/include/asm/
Dhyperv-tlfs.h653 u64 guest_ia32_debugctl; member
/Linux-v5.4/Documentation/virt/kvm/
Dnested-vmx.txt100 u64 guest_ia32_debugctl;