_controls_get     413 arch/x86/kvm/vmx/vmx.h static inline u32 lname##_controls_get(struct vcpu_vmx *vmx)		    \
_controls_get     419 arch/x86/kvm/vmx/vmx.h 	lname##_controls_set(vmx, lname##_controls_get(vmx) | val);	    \
_controls_get     423 arch/x86/kvm/vmx/vmx.h 	lname##_controls_set(vmx, lname##_controls_get(vmx) & ~val);	    \