ArduCopter - SRV Channels - Push();

in: libraries -> SRC_channels -> SRV_channels.cpp there is a function called Push(); this function suppose to send pwm output to ESC:
void SRV_Channels::push()
{
hal.rcout->push();
}

i am trying to figure out how does that function work but whenever i try to look it up with ctrl + click it sends me to the top of this function (push). why is that? how does it work?

Hello,

We are using cork/push combination to synchronise output call and unsure that all motors update on same time!

To access the hal,you will need to define a hal choice for your IDE. But you can still look into https://github.com/ArduPilot/ardupilot/blob/master/libraries/AP_HAL_ChibiOS/RCOutput.cpp#L819 to have an implementation