Hi,
Sorry, can't follow this ATM. But maybe you mean this: there is indeed a problem with removing the clearance of event_inj.invalid as it may be later on transferred into exit_int_info. And if we succeed with injecting the event, that field must not remaind valid.
Correct.
OK, here is v2:
I tested this and AFAICS this one works fine and fixes the problem. Thanks, Erik