int sp804_irqhndl(u32 irq_no, struct pt_regs * regs) { u64 tstamp = sp804_timestamp(); if (!sp804_irq_tstamp) { sp804_irq_tstamp = tstamp; } if (sp804_irq_tcount == 256) { sp804_irq_delay = (tstamp - sp804_irq_tstamp) >> 8; sp804_irq_tcount = 0; sp804_irq_tstamp = tstamp; }
u64 arch_board_timer_timestamp(void) { return sp804_timestamp(); }