> Right. And I think the IXP425 has no cascaded IRQ, so you can define
> __ipipe_mach_irq_mux_p to 0, and do not have to implement
> __ipipe_mach_demux_irq.

That was easy.

(The IXP425 has no cascaded interrupts.)

Now, about the rest, by reading the other arm ports, I learned the
following:

__ipipe_mach_get_dec()

Returns the periodic timer interval in HW ticks.

__ipipe_mach_set_dec()

Sets the periodic timer interval.

__ipipe_mach_get_tsc()

Returns the free flowing time stamp register as a 64 bit integer.

__ipipe_mach_acktimer()

Called by the timer ISR, clears the timer interrupt.

__ipipe_mach_release_timer()

Restores the timer interval to the value expected by Linux.


Did I get it right?

Thanks,
Richard

_______________________________________________
Adeos-main mailing list
[email protected]
https://mail.gna.org/listinfo/adeos-main

Reply via email to