[PATCH v4 03/15] drivers/firmware/sdei: Retrieve event number from event instance

[James Morse]

On 30/07/2020 02:45, Gavin Shan wrote:
> In sdei_event_create(), the event number is retrieved from the
> variable @event_num for the shared event. The event number was
> stored in the event instance. So we can fetch it from the event
> instance, similar to what we're doing for the private event.
> 
> Signed-off-by: Gavin Shan <gshan at redhat.com>
> Reviewed-by: Jonathan Cameron <Jonathan.Cameron at huawei.com>

(I don't think patches like this are worth the effort)

Acked-by: James Morse <james.morse at arm.com>


Thanks,

James