pushl %ebp movl %esp,%ebp |
The generated exit sequence for procedure and functions looks as follows:
leave ret $xx |
Where xx is the total size of the pushed parameters.
To have more information on function return values take a look at section 6.1, page 215.