/* timer_interrupt - gets called when the decrementer overflows, with interrupts disabled. Trivial implementation - no need to be really accurate.  */
void timer_interrupt(struct pt_regs *regs)
/* timer_interrupt - gets called when the decrementer overflows, with interrupts disabled. Trivial implementation - no need to be really accurate.  */
void timer_interrupt(struct pt_regs *regs)
{
	set_dec(decrementer_count);
	timestamp++;
}