ctl_opt          2286 arch/x86/kvm/vmx/vmx.c static __init int adjust_vmx_controls(u32 ctl_min, u32 ctl_opt,
ctl_opt          2290 arch/x86/kvm/vmx/vmx.c 	u32 ctl = ctl_min | ctl_opt;