Arduino.h

Check out the arduino core files here,
http://www.avr-developers.com/
may help you out.
Also, the code behind the Arduino functions is already on your computer, look thru the installed code files.