mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 00:24:51 +00:00
665a551fcd
On some Cortex A9 platforms (Qemu 4.2.1 PBXA9), the IRQ status register is not reliable. Sometimes, it indicates an IRQ too early, i.e., shortly before the counter wraps. Therefore we have to accomplish wrap detection via counter comparison only. We check whether the current counter value is higher than the start counter value of the current timeout. However, this implies that we have to take care to always read out the counter before it hits the max timout value again. And, therefore, the max timeout value has to be far away from the first value the counter has after wrapping. Consequently, we propagate a max timeout value of half the max counter value. Fixes #4209