That's because digitalWrite(), digitialRead(), randsonSeed(), and etc are all parts of the Arduino core files. They're just function calls specific to Arduino.
Find the core files in your Arduino installation (you still haven't bothered to say what Operating System you're using). Then look at wiring_digital.c. (If you're using OSX or Linux it is easy to use grep to find which file specific function calls are in.)