theme_token($element)
drupal/includes/form.inc, line 1394
<?php function theme_token($element) { return theme('hidden', $element); } ?>
More information about formatting options