__nested_vmcb_check_controls
if (!__nested_vmcb_check_controls(vcpu, &ctl_cached))
return __nested_vmcb_check_controls(vcpu, ctl);