hardware_timer Directory Reference