On Tue, 2015-11-10 at 16:20 +, Ian Campbell wrote:
> ... instead of artificially masking the timer interrupt in the timer
> state
Julien pointed out IRL that this now causes vgic_{enable,disable}_irqs to
call into the h/w driver for that irq, which is new for a PPI. The GICv3
hook for enable/d
... instead of artificially masking the timer interrupt in the timer
state and relying on the guest to unmask which it isn't required to
do per the h/w spec, although Linux does, other OSes (FreeRTOS?) needed
changes. Making the vtimer follow the h/w spec is the main driving force
here although it
