Searched refs:guest_ia32_debugctl (Results 1 – 4 of 4) sorted by relevance
73 EVMCS1_FIELD(GUEST_IA32_DEBUGCTL, guest_ia32_debugctl,
461 u64 guest_ia32_debugctl; member626 CHECK_OFFSET(guest_ia32_debugctl, 184); in vmx_check_vmcs12_offsets()1137 FIELD64(GUEST_IA32_DEBUGCTL, guest_ia32_debugctl),12127 vmcs_write64(GUEST_IA32_DEBUGCTL, vmcs12->guest_ia32_debugctl); in prepare_vmcs02()13058 vmcs12->guest_ia32_debugctl = vmcs_read64(GUEST_IA32_DEBUGCTL); in sync_vmcs12()
614 u64 guest_ia32_debugctl; member
100 u64 guest_ia32_debugctl;
