Did you mean (for PHP_TRUNK): end_ptr_double   stack_double   to_zval_double   val_double   _z_param_double  

Your search refs:SET_VAR_DOUBLE did not match any files.
Suggestions: