I am able to set the frequency successfully using the extern set_arm_clock() but is there a similar lib function for get_arm_clock() ?