int arm_timer_irqhndl(u32 irq_no, struct pt_regs * regs) { u64 tstamp = arm_timer_timestamp(); if (!timer_irq_tstamp) { timer_irq_tstamp = tstamp; } if (timer_irq_tcount == 256) { timer_irq_delay = (tstamp - timer_irq_tstamp) >> 8; timer_irq_tcount = 0; timer_irq_tstamp = tstamp; }
TimeStamp dhry_timestamp(void) { return arm_timer_timestamp(); }