On Fri, Aug 20, 2021, Brijesh Singh wrote: > The #NPT error code is a 64-bit value but the trace prints only the > lower 32-bits. Some of the fault error code (e.g PFERR_GUEST_FINAL_MASK) > are available in the upper 32-bits. > > Cc: <stable@xxxxxxxxxx> > Signed-off-by: Brijesh Singh <brijesh.singh@xxxxxxx> > --- Reviewed-by: Sean Christopherson <seanjc@xxxxxxxxxx> Paolo, can you grab this one sooner than later? Alternatively, maybe post this separately Brijesh?