php_session_destroy  280 ext/session/session.c static int php_session_destroy(TSRMLS_D);
php_session_destroy  655 ext/session/session.c 		php_session_destroy(TSRMLS_C);
php_session_destroy 1828 ext/session/session.c 	if (php_session_destroy(TSRMLS_C) == SUCCESS) {