I disassembled the following C call
exit(EXIT_SUCCESS);
and found out that it calls the exit procedure at an assembly level
call exit
Where can I find the source code for this procedure so that I can study it and find out exactly what is happening?
In the C library of your system. Which then eventually invokes your operating system.
The links are for linux with glibc, you forgot to mention your environment.