On 24.08.2020 18:39, Roger Pau Monné wrote: > Would you be fine with clearing the callback in vlapic_handle_EOI and
Yes - as said, I'd prefer such a model. > then vlapic_set_irq_callback complaining if it finds there's a > previous callback different than the one provided already set for the > to be injected vector? For debugging purposes this may indeed be helpful, albeit I'll admit that initially I didn't consider this as necessary. Jan