Searched refs:vmx_supported_debugctl (Results 1 – 2 of 2) sorted by relevance
407 static inline u64 vmx_supported_debugctl(void) in vmx_supported_debugctl() function
2003 u64 debugctl = vmx_supported_debugctl(); in vcpu_supported_debugctl()