edit_post_link

The function is edit_post_link() (see Codex or source). In TwentyEleven it used as follows in content.php
edit_post_link( __( ‘Edit’, ‘twentyeleven’ ), ”, ” );