pulseIn Implementation?

This question can be vagued out more to include all the core stuff in arduino, but how do i find the .c that shows the C implementation of core functions such as pulseIn?

wiring_pulse.c in /usr/share/arduino/hardware/arduino/core/arduino (Linux).