Re: [PATCH v2] vmci: prevent speculation leaks by sanitizing event in event_deliver()