Symbol: register_decrementer_clockevent