Searched refs:vmx_supported_debugctl (Results 1 – 2 of 2) sorted by relevance
395 static inline u64 vmx_supported_debugctl(void) in vmx_supported_debugctl() function
1922 u64 debugctl = vmx_supported_debugctl(); in vcpu_supported_debugctl()
Completed in 27 milliseconds