https://github.com/LinuxCNC/linuxcnc/blob/master/docs/src/code/LinuxCNC-motion-controller.png Suggests that the HAL code is in "EXTINTF.C", and it's not, it's in various hal*.* files.