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