On 13/07/17 20:20, Christoffer Dall wrote: > The timer irq_handler is supposed to mask the timer signal, but unfortunately > also disables the timer at the same time, even though we loop and wait on > ISTATUS to become set. > > According to the ARM ARM, "When the value of the ENABLE bit is 0, the > ISTATUS field is UNKNOWN." This test happens to work on AMD Seattle, but > doesn't work on Mustang or on QEMU with TCG. Note that this wording is a tightening of what was written in previous of the ARMv8 ARM. Version DDI0874B.a has the above, while DDI0487A.h doesn't, neither has the ARMv7 version. This may explain why this was initially written this way. Thanks, M. -- Jazz is not dead. It just smells funny...
