RE: [PATCH v4 1/2] tracing: Include PPIN in mce_record tracepoint

[Luck, Tony]

> Export PPIN through the tracepoint as it provides a unique identifier for
> the system (or socket in case of multi-socket systems) on which the MCE
> has been received.
>
> Signed-off-by: Avadhut Naik <avadhut.naik@xxxxxxx>
> Reviewed-by: Sohil Mehta <sohil.mehta@xxxxxxxxx>
> Reviewed-by: Steven Rostedt (Google) <rostedt@xxxxxxxxxxx>

Reviewed-by: Tony Luck <tony.luck@xxxxxxxxx>