Is there a documented kernel API to provide the capability for non-posted reads & writes to the hardware registers (peripherals)?
I am writing a kernel IRQ routine the timer interrupts and I don't think the interrupt CLEAR write to the timer is occuring consistantly before I exit the IRQ (I am getting double interrupts on a single overflow event sometimes).
