Searched refs:guest_ia32_debugctl (Results 1 – 1 of 1) sorted by relevance
125 u64 guest_ia32_debugctl; member340 *value = current_evmcs->guest_ia32_debugctl; in evmcs_vmread()727 current_evmcs->guest_ia32_debugctl = value; in evmcs_vmwrite()